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

DOI10.1007/S00354-015-0203-9zbMATH Open1333.68239OpenAlexW1981209246MaRDI QIDQ264963FDOQ264963

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

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

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)

Cites Work

• Supporting ontological analysis of taxonomic relationships
• Calendar Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The characterization of monadic logic
• On the Properties of Metamodeling in OWL
• Automated Reasoning with Analytic Tableaux and Related Methods
• Order-sorted logic programming with predicate hierarchy

Cited In (6)

• Title not available (Why is that?)
• Compositional reasoning about active objects with shared futures
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)