Calculus CL as Ontology Editor and Inference Engine

The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and...

Full description

Saved in:
Bibliographic Details
Published inDiagrammatic Representation and Inference Vol. 10871; pp. 752 - 756
Main Author Lemanski, Jens
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Diagrammatic reasoning
Knowledge Representation
Ontology Visualisation
Online AccessGet full text
ISBN9783319913759
3319913751
ISSN0302-9743
1611-3349
DOI10.1007/978-3-319-91376-6_74

Cover

Abstract The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and intuitive rules of CL, it is easy to edit ontologies and to prove inferences.
AbstractList The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and intuitive rules of CL, it is easy to edit ontologies and to prove inferences.
Author Lemanski, Jens
Author_xml – sequence: 1
  givenname: Jens
  orcidid: 0000-0003-3661-4752
  surname: Lemanski
  fullname: Lemanski, Jens
  email: jens.lemanski@fernuni-hagen.de
  organization: KSW, FernUniversität in Hagen, Hagen, Germany
BookMark eNo1kM1OwzAQhA0URFv6BhzyAgbb6_jniKIClSr1AhI3y3Y2pRA5JU4PvD0phdNKszMjzTcjk9QlJOSWszvOmL632lCgwC21HLSiyml5RmYwKr_C2zmZcsU5BZD2gixG__-vtBMyZcAEtVrCFZlxJsdKrpW5JoucPxhjgoHlrJwSqHwbD-0hF9W68LnYpKFru-13sax3Q9cXPtXFKjXYY4pYLNN2l_CGXDa-zbj4u3Py-rh8qZ7pevO0qh7WdC8kDNRCjIoFidxAkAEbaIB5j9aCQRTR19pgHTwDadBEG42IQccy1IFLXgqYE3Hqzft-l7bYu9B1n9lx5o6M3LjZgRtXu18k7shoDMlTaN93XwfMg8NjKmIa-nHqu98P2GenhFGCC6escbos4QfW-mZc
ContentType Book Chapter
Copyright Springer International Publishing AG, part of Springer Nature 2018
Copyright_xml – notice: Springer International Publishing AG, part of Springer Nature 2018
DBID FFUUA
DEWEY 6.6
DOI 10.1007/978-3-319-91376-6_74
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 331991376X
9783319913766
EISSN 1611-3349
Editor Moktefi, Amirouche
Bellucci, Francesco
Perez-Kriz, Sarah
Stapleton, Gem
Chapman, Peter
Editor_xml – sequence: 1
  fullname: Moktefi, Amirouche
– sequence: 2
  fullname: Perez-Kriz, Sarah
– sequence: 3
  fullname: Bellucci, Francesco
– sequence: 4
  fullname: Stapleton, Gem
– sequence: 5
  fullname: Chapman, Peter
EndPage 756
ExternalDocumentID EBC6286212_698_755
GroupedDBID 0D6
0DA
38.
AABBV
AEDXK
AEJLV
AEKFX
AEZAY
ALMA_UNASSIGNED_HOLDINGS
ANXHU
BBABE
BICGV
BJAWL
BUBNW
CVGDX
CZZ
EDOXC
FFUUA
FOYMO
I4C
IEZ
NQNQZ
OEBZI
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7S
Z7U
Z7V
Z7W
Z7X
Z7Y
Z7Z
Z81
Z82
Z83
Z84
Z87
Z88
-DT
-GH
-~X
1SB
29L
2HA
2HV
5QI
875
AASHB
ABMNI
ACGFS
ADCXD
AEFIE
EJD
F5P
FEDTE
HVGLF
LAS
LDH
P2P
RIG
RNI
RSU
SVGTG
VI1
~02
ID FETCH-LOGICAL-p243t-93cc60b4e183b4bef3f30aae9938ee2cad78edba0348e8c9c82cb7c5bdb141523
ISBN 9783319913759
3319913751
ISSN 0302-9743
IngestDate Tue Jul 29 20:11:01 EDT 2025
Thu May 29 16:46:35 EDT 2025
IsPeerReviewed true
IsScholarly true
LCCallNum QA76.9.U83
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p243t-93cc60b4e183b4bef3f30aae9938ee2cad78edba0348e8c9c82cb7c5bdb141523
OCLC 1040071768
ORCID 0000-0003-3661-4752
PQID EBC6286212_698_755
PageCount 5
ParticipantIDs springer_books_10_1007_978_3_319_91376_6_74
proquest_ebookcentralchapters_6286212_698_755
PublicationCentury 2000
PublicationDate 2018
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – year: 2018
  text: 2018
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Lecture Notes in Artificial Intelligence
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings
PublicationTitle Diagrammatic Representation and Inference
PublicationYear 2018
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Hartmanis, Juris
Mattern, Friedemann
Goos, Gerhard
Steffen, Bernhard
Kittler, Josef
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Pandu Rangan, C.
Kanade, Takeo
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, UK
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, UK
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology Madras, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: TU Dortmund University, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Goos
  fullname: Goos, Gerhard
  organization: Karlsruhe, Germany
– sequence: 13
  givenname: Juris
  surname: Hartmanis
  fullname: Hartmanis, Juris
  organization: Ithaca, USA
SSID ssj0002039105
ssj0002792
Score 1.8812441
Snippet The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram...
SourceID springer
proquest
SourceType Publisher
StartPage 752
SubjectTerms Diagrammatic reasoning
Knowledge Representation
Ontology Visualisation
Title Calculus CL as Ontology Editor and Inference Engine
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6286212&ppg=755
http://link.springer.com/10.1007/978-3-319-91376-6_74
Volume 10871
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Nb9QwELW2ywVxoOVDFArygdsqKLEdx7mBVouq1bZIqEW9WbbjnCCtmnDh1zMT25vdpZdyiaIospN5zmQ8nvdMyEdbmbJpAAHLhMyEUTKD31CetV4w06qiNDkShS8u5fm1WN-UN7PZ5112yWA_uT8P8kr-B1W4BrgiS_YRyG4bhQtwDvjCERCG40Hwu59mTbUsWFkVJFe_jwWtkUfUxSLfSOWbam5-mbRN9drHLJ1JIgU_MQ_YL5Yb3HnmWzcEbaZVA1_8_X57UcMw-CPUSe6h6bAScXk7jAVei7RZRPIdu8mFQh0kF1Jy8SA9OWXI9majnGMdFa-ixHdkZYHHhTlLcGI-OFmJ0ok8SJVGx1kFHdv4D66C2Pg_7n23ogPZV9ibzKSuxBE5qlQ5J0--rNabH9ssG0MB_HyaEKFcYlhXCk-FbJ_01EXQY5reYodp-VCXe3OSg2X0MTq5OibPkLFCkUoC9jshM9-9IM8TBDRC8JLwhDJdbqjpaUKZBpQpoEy3KNOA8ity_XV1tTzP4qYZ2R0TfMhq7pzMrfDgq62wvuUtz43xEIcq75kzTaV8Y03OhfLK1U4xZytX2sYWGMzx12Te3Xb-DaGyboVsDKshZhF1I0xRu8LXLbOMtbbmpyRLBtDj0n6sJ3bhdXuNtGcIjbSsla7K8pQskpU03t7rpJkN5tVcg3n1aF6N5n37qLvfkafT-D0j8-H-t38P4eJgP8Qx8RcZUWDw
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Diagrammatic+Representation+and+Inference&rft.au=Lemanski%2C+Jens&rft.atitle=Calculus+CL+as+Ontology+Editor+and+Inference+Engine&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2018-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783319913759&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=752&rft.epage=756&rft_id=info:doi/10.1007%2F978-3-319-91376-6_74
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6286212-l.jpg