Anomalies in ontologies with rules

[1]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[2]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[3]  Alun D. Preece,et al.  Principles and practice in verifying rule-based systems , 1992, Knowl. Eng. Rev..

[4]  Alun D. Preece,et al.  Foundation and application of knowledge base verification , 1994, Int. J. Intell. Syst..

[5]  Juliana Freire,et al.  XSB: A System for Effciently Computing WFS , 1997, LPNMR.

[6]  Neli Zlatareva,et al.  Verification of non-monotonic knowledge bases , 1997, Decis. Support Syst..

[7]  D. Warren,et al.  Xsb -a System for Eeciently Computing Well Founded Semantics , 1997 .

[8]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[9]  Martin Fowler,et al.  Refactoring - Improving the Design of Existing Code , 1999, Addison Wesley object technology series.

[10]  M. Fowler.  Improving the Design of Existing Code , 2000 .

[11]  A. Gómez-Pérez,et al.  Evaluation of ontologies , 2001, Int. J. Intell. Syst..

[12]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[13]  Boris Motik,et al.  User-Driven Ontology Evolution Management , 2002, EKAW.

[14]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[15]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[16]  Jan Wielemaker,et al.  An Overview of the SWI-Prolog Programming Environment , 2003, WLPE.

[17]  Joachim Baumeister,et al.  Agile development of diagnostic knowledge systems , 2004 .

[18]  Steffen Staab,et al.  On-To-Knowledge Methodology (OTKM) , 2004, Handbook on Ontologies.

[19]  Steffen Staab,et al.  Handbook on Ontologies (International Handbooks on Information Systems) , 2004 .

[20]  Asunción Gómez-Pérez,et al.  Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.

[21]  Neli Zlatareva.  Testing the Integrity of Non-monotonic Knowledge Bases Containing Semi-Normal Defaults , 2004, FLAIRS Conference.

[22]  Robert Stevens,et al.  OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns , 2004, EKAW.

[23]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[24]  Frank Puppe,et al.  Refactoring Methods for Knowledge Bases , 2004, EKAW.

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

[26]  Joachim Baumeister,et al.  Smelly Owls - Design Anomalies in Ontologies , 2005, FLAIRS Conference.

[27]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

[28]  Joachim Baumeister.  Agile Development Of Diagnostic Knowledge Systems (Diski) , 2005 .

[29]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[30]  James A. Hendler,et al.  Semantic Web Architecture: Stack or Two Towers? , 2005, PPSWR.

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

[32]  Mirella Lapata,et al.  IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence , 2005 .

[33]  Leo Sauermann,et al.  Semantic Desktop 2.0: The Gnowsis Experience , 2006, International Semantic Web Conference.

[34]  Joachim Baumeister,et al.  Verification and Refactoring of Ontologies with Rules , 2006, EKAW.

[35]  François Bry,et al.  Semantic Wiki , 2007, Informatik-Spektrum.

[36]  François Bry,et al.  Semantic Wikis , 2008, IEEE Software.

[37]  Catherine Faron-Zucker,et al.  SweetWiki: A semantic wiki , 2008, J. Web Semant..

[38]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[39]  Sebastian Rudolph,et al.  ELP: Tractable Rules for OWL 2 , 2008, SEMWEB.