A Tableau Decision Procedure for $\mathcal{SHOIQ}$
暂无分享,去创建一个
[1] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[2] Peter F. Patel-Schneider,et al. Term Subsumption Languages in Knowledge Representation , 1990, AI Mag..
[3] Francesco M. Donini,et al. Using Terminological Reasoning in Hybrid Systems , 1990, AI Commun..
[4] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[5] Peter F. Patel-Schneider,et al. Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.
[6] Projektgruppe WINOPostfa. A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .
[7] Franz Baader,et al. A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.
[8] Franz Baader,et al. Qualifying Number Restrictions in Concept Languages , 1991, KR.
[9] Andrei Voronkov,et al. Proceedings of the 7th international conference on Logic for programming and automated reasoning , 1992, ICLP 1992.
[10] Andrea Schaerf. Reasoning with Individuals in Concept Languages , 1993, AI*IA.
[11] Francesco M. Donini,et al. Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.
[12] Maurizio Lenzerini,et al. Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.
[13] Sergio Tessaris,et al. Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .
[14] Patrick Blackburn,et al. Hybrid languages , 1995, J. Log. Lang. Inf..
[15] Maurizio Lenzerini,et al. TBox and ABox Reasoning in Expressive Description Logics , 1996, KR.
[16] Moshe Y. Vardi. Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.
[17] Leszek Pacholski,et al. Complexity of two-variable logic with counting , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[18] Peter F. Patel-Schneider,et al. DLP System Description , 1998, Description Logics.
[19] Peter F. Patel-Schneider,et al. FaCT and DLP , 1998, TABLEAUX.
[20] Diego Calvanese,et al. Description Logic Framework for Information Integration , 1998, KR.
[21] Jon R. Wright,et al. An Industrial-Strength Description-Logics-Based Configurator Platform , 1998, IEEE Intell. Syst..
[22] Ian Horrocks,et al. Optimizing Description Logic Subsumption , 1999, J. Log. Comput..
[23] Erich Grädel,et al. Why are Modal Logics so Robustly Decidable? , 2001, Bull. EATCS.
[24] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[25] Ian Horrocks,et al. Practical Reasoning for Expressive Description Logics , 1999, LPAR.
[26] Stephan Tobies,et al. The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics , 2011, ArXiv.
[27] Ian Horrocks,et al. Reasoning with Individuals for the Description Logic SHIQ , 2000, CADE.
[28] A. Salomaa,et al. Current Trends in Theoretical Computer Science, Entering the 21th Century , 2001 .
[29] Ian Horrocks,et al. Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.
[30] Stephan Tobies,et al. Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.
[31] Franz Baader,et al. An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.
[32] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[33] Volker Haarslev,et al. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach , 2000, IJCAR.
[34] Ian Horrocks,et al. From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..
[35] Ian Horrocks,et al. Web Ontology Reasoning with Datatype Groups , 2003, SEMWEB.
[36] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[37] Ian Horrocks,et al. OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .
[38] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[39] Jan Hladik,et al. Tableau Systems for SHIO and SHIQ , 2004, Description Logics.
[40] Ian Horrocks,et al. Ordering Heuristics for Description Logic Reasoning , 2005, IJCAI.
[41] Ian Horrocks,et al. FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.
[42] Bijan Parsia,et al. From Wine to Water: Optimizing Description Logic Reasoning for Nominals , 2006, KR.
[43] Ian Horrocks,et al. Framework for an Automated Comparison of Description Logic Reasoners , 2006, SEMWEB.
[44] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..
[45] Giuseppe De Giacomo. Decidability of Class Based Knowledge Representation Formalisms , 2009 .