Modularization of Ontologies WonderWeb: Ontology Infrastructure for the Semantic Web

[1]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[2]  Steffen Staab,et al.  Views for light-weight Web ontologies , 2003, SAC '03.

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

[4]  Alexander Borgida,et al.  Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources , 2002, OTM.

[5]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[6]  Nicola Guarino,et al.  Sweetening Ontologies with DOLCE , 2002, EKAW.

[7]  Frank van Harmelen,et al.  Sesame: A Generic Architecture for Storing and Querying RDF and RDF Schema , 2002, SEMWEB.

[8]  James A. Hendler,et al.  Web ontology language (OWL) reference version 1 , 2002 .

[9]  Asunción Gómez-Pérez,et al.  Ontology Specification Languages for the Semantic Web , 2002, IEEE Intell. Syst..

[10]  Daniel Oberle,et al.  Towards a modularized semantic web , 2002 .

[11]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[12]  Peter Clark,et al.  Knowledge entry as the graphical assembly of components , 2001, K-CAP '01.

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

[14]  Sheila A. McIlraith,et al.  Theorem Proving with Structured Theories , 2001, IJCAI.

[15]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[16]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[17]  Ian Horrocks,et al.  A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.

[18]  James A. Hendler,et al.  Dynamic Ontologies on the Web , 2000, AAAI/IAAI.

[19]  Enrico Franconi,et al.  A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases , 2000, Computational Logic.

[20]  Sheila A. McIlraith,et al.  Partition-Based Logical Reasoning , 2000, KR.

[21]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

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

[23]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[24]  Dan Brickley,et al.  Resource description framework (RDF) schema specification , 1998 .

[25]  Marco Cadoli,et al.  A Survey on Knowledge Compilation , 1997, AI Commun..

[26]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[27]  Alon Y. Halevy,et al.  CARIN: A Representation Language Combining Horn Rules and Description Logics , 1996, ECAI.

[28]  Werner Nutt,et al.  Terminological Systems Revisited: Terminology = Schema + Views , 1994, KRDB.

[29]  William M. Farmer,et al.  Little Theories , 1992, CADE.

[30]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[31]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.