A logical and ontological framework for compositional concepts of objects and properties
From MaRDI portal
Publication:264963
DOI10.1007/s00354-015-0203-9zbMath1333.68239MaRDI 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
monadic second-order logic; compositional concepts; object and property; resource description framework (RDF); upper ontology
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