A Defeasible Ontology Language
暂无分享,去创建一个
[1] Franz Baader,et al. Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.
[2] Ian Horrocks,et al. DAML+OIL is not Enough , 2001, SWWS.
[3] I. Horrocks,et al. Reasoning with Individuals for the Description Logic , 2000 .
[4] D. Vermeir,et al. A Logical Basis for Object Oriented Programming , 1990, JELIA.
[5] Alexander Borgida,et al. What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases , 2000, Description Logics.
[6] Dan Brickley,et al. Resource Description Framework (RDF) Model and Syntax Specification , 2002 .
[7] Steffen Staab,et al. The Ontology Inference Layer OIL , 2000 .
[8] Ora Lassila,et al. W3c resource description framework (rdf) model and syntax specification , 1998 .
[9] Dirk Vermeir,et al. Defeasible logics , 1998 .
[10] Dov M. Gabbay,et al. Handbook of defeasible reasoning and uncertainty management systems: Volume 4 abductive reasoning and learning , 2000 .
[11] Ian Horrocks,et al. Practical Reasoning for Expressive Description Logics , 1999, LPAR.
[12] Joachim Quantz,et al. Preferential Default Description Logics , 1993 .
[13] Ian Horrocks,et al. OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..
[14] Dov M. Gabbay,et al. Credulous vs. Sceptical Semantics for Ordered Logic Programs , 1991, KR.
[15] Ian Horrocks,et al. OIL in a Nutshell , 2000, EKAW.
[16] Thomas G. Dietterich. What is machine learning? , 2020, Archives of Disease in Childhood.
[17] Ian Horrocks,et al. Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.
[18] Dov M. Gabbay,et al. Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .
[19] Ian Horrocks,et al. Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.
[20] Mark A. Musen,et al. SMART: Automated Support for Ontology Merging and Alignment , 1999 .
[21] A. Lodder,et al. REASON BASED LOGIC A LOGIC THAT DEALS WITH RULES AND REASONS , 1993 .
[22] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[23] Franz Baader,et al. A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.
[24] Ian Horrocks,et al. The Semantic Web: The Roles of XML and RDF , 2000, IEEE Internet Comput..
[25] Franz Baader,et al. How to Prefer More Specific Defaults in Terminological Default Logic , 1993, IJCAI.
[26] Ian Horrocks,et al. OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.
[27] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[28] Stijn Heymans,et al. Using preference order in ontologies , 2002, Proceedings. 13th International Workshop on Database and Expert Systems Applications.
[29] Andrea Schaerf. Reasoning with Individuals in Concept Languages , 1993, AI*IA.
[30] Franz Baader,et al. Tableau Algorithms for Description Logics , 2000, TABLEAUX.
[31] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .
[32] Michael Uschold,et al. Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.
[33] Mark Ryan,et al. Representing Defaults as Sentences with Reduced Priority , 1992, KR.