Ontology Inferencing Rules and Operations in Conceptual Structure Theory
暂无分享,去创建一个
[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.