D2.3.9 Theoretical Aspects for Ontology Lifecycle

[1]  J. van Benthem,et al.  Temporal logic , 1995 .

[2]  Siegfried Handschuh,et al.  D2.3.8v2 Report and Prototype of Dynamics in the Ontology Lifecycle , 2006 .

[3]  Mathieu d'Aquin,et al.  Knowledge editing and maintenance tools for a semantic portal in oncology , 2005, Int. J. Hum. Comput. Stud..

[4]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[5]  Heiner Stuckenschmidt,et al.  Reasoning with Multi-version Ontologies , 2005 .

[6]  Michel C. A. Klein,et al.  Ontology Evolution: Not the Same as Schema Evolution , 2004, Knowledge and Information Systems.

[7]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[8]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[9]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[10]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

[11]  Tudor Groza,et al.  SemVersion: RDF-based ontology versioning system , 2006 .

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

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

[14]  Michel C. A. Klein,et al.  Reasoning with multi-version ontologies: evaluation , 2006 .

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

[16]  Grigoris Antoniou,et al.  Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.

[17]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[18]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[19]  Mark A. Musen,et al.  Ontology versioning in an ontology management framework , 2004, IEEE Intelligent Systems.

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

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

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

[23]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[24]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .

[25]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[26]  Luciano Serafini,et al.  ConTeXtualized local ontology specification via CTXML , 2002, AAAI 2002.

[27]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[28]  Brian McBride,et al.  Jena: A Semantic Web Toolkit , 2002, IEEE Internet Comput..

[29]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[30]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.

[31]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[32]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[33]  Grigoris Antoniou,et al.  On Generalizing the AGM Postulates , 2006, STAIRS.

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

[35]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[36]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..