D2.5.5 Next Steps for OWL

EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB Deliverable D2.5.5 (WP2.5) OWL 1.1 is a simple extension to the OWL DL species of the W3C OWL Web Ontology Language. OWL 1.1 has been designed to provide some interesting and useful expressive additions to OWL DL while retaining the desirable characteristics of OWL DL, including decidability and implementability. Keyword list: description logics, ontology language, RDF, OWL DL, OWL, W3C, standardization

[1]  Ian Horrocks,et al.  The Irresistible SRIQ , 2005, OWLED.

[2]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

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

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

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

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

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

[8]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[9]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[10]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

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

[12]  Lin Padgham,et al.  A Framework for Part-of Hierarchies in Terminological Logics , 1994, KR.

[13]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[14]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[15]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

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

[17]  Ian Horrocks,et al.  OWL-Eu: Adding Customised Datatypes into OWL , 2005, ESWC.

[18]  Alan L. Rector.  Analysis of propagation along transitive roles: Formalisation of the GALEN experience with Medical Ontologies , 2002, Description Logics.

[19]  Carsten Lutz,et al.  Description Logics with Concrete Domains-A Survey , 2002, Advances in Modal Logic.

[20]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

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

[22]  Peter F. Patel-Schneider.  Building the Semantic Web Tower from RDF Straw , 2005, IJCAI.

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

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

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

[26]  Ian Horrocks,et al.  A Little Semantic Web Goes a Long Way in Biology , 2005, SEMWEB.

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

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

[29]  Taowei David Wang.  Gauging Ontologies and Schemas by Numbers , 2006, EON@WWW.

[30]  Thorsten Liebig,et al.  OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies , 2004, International Semantic Web Conference.

[31]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[32]  Ian Horrocks,et al.  Efficient Reasoning with Range and Domain Constraints , 2004, Description Logics.