A logical and ontological framework for compositional concepts of objects and properties

DOI10.1007/S00354-015-0203-9MaRDI QIDQ264963zbMATH OpenOpenAlexFDO

Authors Ken Kaneiwa, Riichiro Mizoguchi, Philip H. P. Nguyen

Publication date 1 April 2016

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00354-015-0203-9

zbMATH Keywords

compositional conceptsmonadic second-order logicobject and propertyresource description framework (RDF)upper ontology

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Ontological Constitutions for Classes and Properties
• Conceptual frames revisited
• A compositional typed higher-order logic with definitions
• scientific article; zbMATH DE number 1948217
• Compositional conceptualization in intentional logics

Cites work

• scientific article; zbMATH DE number 1092351 (Why is no real title available?)
• scientific article; zbMATH DE number 1948207 (Why is no real title available?)
• scientific article; zbMATH DE number 1458810 (Why is no real title available?)
• scientific article; zbMATH DE number 217097 (Why is no real title available?)
• scientific article; zbMATH DE number 6423789 (Why is no real title available?)
• Automated Reasoning with Analytic Tableaux and Related Methods
• Calendar Logic
• On the Properties of Metamodeling in OWL
• Order-sorted logic programming with predicate hierarchy
• Supporting ontological analysis of taxonomic relationships
• The characterization of monadic logic

Cited in

(6)

• scientific article; zbMATH DE number 1948217 (Why is no real title available?)
• Compositional reasoning about active objects with shared futures
• scientific article; zbMATH DE number 724683 (Why is no real title available?)
• scientific article; zbMATH DE number 1759496 (Why is no real title available?)
• Logical, ontological and cognitive aspects of object types and cross-world identity with applications to the theory of conceptual spaces
• Ontological Constitutions for Classes and Properties

This page was built for publication: A logical and ontological framework for compositional concepts of objects and properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q264963)