Ontology Inferencing Rules and Operations in Conceptual Structure Theory

This paper describes in detail the inferencing rules and operations concerning an ontology formalism previously proposed under Conceptual Structure Theory. The ontology consists of hierarchies of concept, relation and meta-relation types, and formal relationships between them, in particular between arguments of relation and meta-relation types. Inferencing rules are described as well as operations to maintain the ontology in a semantically consistent state at all times. The main aim of the paper is to provide a blue print for the implementation of ontologies in the future Semantic Web. 1

[1]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[2]  Dan Corbett,et al.  Building Corporate Knowledge Through Ontology Integration , 2006, PKAW.

[3]  Ken Kaneiwa,et al.  Order-sorted logic programming with predicate hierarchy , 2004, Artif. Intell..

[4]  Gerd Stumme.  Using Ontologies and Formal Concept Analysis for Organizing Business Knowledge , 2001 .

[5]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[6]  Dan Corbett,et al.  A basic mathematical framework for conceptual graphs , 2006, IEEE Transactions on Knowledge and Data Engineering.

[7]  Ken Kaneiwa,et al.  Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring , 2009, SEMWEB.

[8]  Ken Kaneiwa,et al.  Representing Event Assertions in an Upper Event Ontology , 2009, 2009 International Conference on Knowledge and Systems Engineering.

[9]  Dan Corbett,et al.  Meta-relation and ontology closure in Conceptual Structure Theory , 2009, Artificial Intelligence and Law.

[10]  John Kingston,et al.  Towards a Financial Fraud Ontology: A Legal Modelling Approach , 2004, Artificial Intelligence and Law.

[11]  Ken Fukuda,et al.  An Upper Ontology for Event Classifications and Relations , 2007, Australian Conference on Artificial Intelligence.

[12]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[13]  Dan Corbett,et al.  An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory , 2008, Australasian Conference on Artificial Intelligence.