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

DOI10.1007/S00354-015-0203-9zbMath1333.68239OpenAlexW1981209246MaRDI QIDQ264963

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

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

monadic second-order logiccompositional conceptsobject and propertyresource description framework (RDF)upper ontology

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Order-sorted logic programming with predicate hierarchy
• Supporting ontological analysis of taxonomic relationships
• Calendar Logic
• The characterization of monadic logic
• On the Properties of Metamodeling in OWL
• Automated Reasoning with Analytic Tableaux and Related Methods

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