KR and Reasoning on the Semantic Web: OWL

[1]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[2]  Carsten Lutz,et al.  Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.

[3]  Boris Motik,et al.  OWL Datatypes: Design and Implementation , 2008, SEMWEB.

[4]  Boris Motik,et al.  Representing Structured Objects using Description Graphs , 2008, KR.

[5]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[6]  Michael Lawley,et al.  Exploiting Fast Classification of SNOMED CT for Query and Integration of Health Data , 2008, KR-MED.

[7]  Boris Motik,et al.  Optimized Reasoning in Description Logics Using Hypertableaux , 2007, CADE.

[8]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[9]  Ian Horrocks,et al.  Just the right amount: extracting modules from ontologies , 2007, WWW '07.

[10]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[11]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[12]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[13]  Sean Bechhofer,et al.  Igniting the OWL 1.1 Touch Paper: The OWL API , 2007, OWLED.

[14]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[15]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[16]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[17]  James A. Hendler,et al.  Swoop: A Web Ontology Editing Browser , 2006, J. Web Semant..

[18]  Edith Schonberg,et al.  A View of OWL From the Field: Use-cases and Experiences , 2006, OWLED.

[19]  Ian Horrocks,et al.  A Logical Framework for Modular Integration of Ontologies , 2006 .

[20]  Robert Stevens,et al.  The Manchester OWL Syntax , 2006, OWLED.

[21]  Christine Golbreich,et al.  The Foundational Model of Anatomy in OWL: Experience and Perspectives , 2006, OWLED.

[22]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

[23]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[24]  Deborah L. McGuinness,et al.  The General-Motors Variation-Reduction Adviser , 2005, AI Mag..

[25]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[26]  Jennifer Golbeck,et al.  Modeling a description logic vocabulary for cancer research , 2005, J. Biomed. Informatics.

[27]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

[28]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[29]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[30]  Ian Horrocks,et al.  Keys, Nominals, and Concrete Domains , 2003, IJCAI.

[31]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[32]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[33]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[34]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[35]  Ian Horrocks,et al.  DAML+OIL is not Enough , 2001, SWWS.

[36]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[37]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[38]  Alan Robinson,et al.  Handbook of automated reasoning , 2001 .

[39]  Steffen Staab,et al.  OIL: The Ontology Inference Layer , 2000 .

[40]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[41]  Carsten Lutz,et al.  Reasoning with Concrete Domains , 1999, IJCAI.

[42]  Giuseppe De Giacomo,et al.  Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees , 1999, IJCAI.

[43]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[44]  Carole A. Goble,et al.  TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources , 1998, ISMB.

[45]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[46]  Kent A. Spackman,et al.  SNOMED RT: a reference terminology for health care , 1997, AMIA.

[47]  Ulrike Sattler,et al.  A Concept Language Extended with Different Kinds of Transitive Roles , 1996, KI.

[48]  Sergio Tessaris,et al.  Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .

[49]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[50]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[51]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[52]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[53]  Peter F. Patel-Schneider,et al.  The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.

[54]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[55]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[56]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[57]  C. Batini,et al.  A comparative analysis of methodologies for database schema integration , 1986, CSUR.

[58]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[59]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[60]  Ronald J. Brachman,et al.  A Structural Paradigm for Representing Knowledge. , 1978 .

[61]  Ira P. Goldstein,et al.  The FRL Primer , 1977 .