Reasoning with Multi-version Ontologies: A Temporal Logic Approach
暂无分享,去创建一个
[1] Peter Øhrstrøm,et al. Temporal Logic , 1994, Lecture Notes in Computer Science.
[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[3] Jerzy Tiuryn,et al. Dynamic logic , 2001, SIGA.
[4] D. Gabbay,et al. Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .
[5] Michel C. A. Klein,et al. Change Management for Distributed Ontologies , 2004 .
[6] Volker Haarslev,et al. Description of the RACER System and its Applications , 2001, Description Logics.
[7] Pompeu Casanovas,et al. Supporting newly-appointed judges: a legal knowledge management case study , 2005, J. Knowl. Manag..
[8] Enrico Motta,et al. The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.
[9] Peter Crowther,et al. The DIG Description Logic Interface , 2003, Description Logics.
[10] Patrick Blackburn,et al. Hybrid Languages and Temporal Logic , 1999, Log. J. IGPL.
[11] J. van Benthem,et al. Temporal logic , 1995 .
[12] Frank van Harmelen,et al. A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.
[13] Stephan Merz,et al. Model Checking , 2000 .
[14] Mark A. Musen,et al. The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..
[15] Peter Haase,et al. Eu-ist Integrated Project (ip) Ist-2003-506826 Sekt D3.1.1 Ontology Management and Evolution – Survey, Methods and Prototypes Sekt Consortium , 2004 .
[16] Ljiljana Stojanovic,et al. Methods and tools for ontology evolution , 2004 .
[17] Pieter De Leenheer,et al. Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting , 2004, OTM Workshops.
[18] Pompeu Casanovas,et al. Iuriservice: An Intelligent Frequently Asked Questions System to Assist Newly Appointed Judges , 2003, Law and the Semantic Web.
[19] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[20] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[21] James A. Hendler,et al. Dynamic Ontologies on the Web , 2000, AAAI/IAAI.
[22] Zhisheng Huang,et al. An Extended DIG Description Logic Interface for Prolog , 2004 .
[23] Michel C. A. Klein,et al. Ontology Versioning and Change Detection on the Web , 2002, EKAW.
[24] Jeff Heflin,et al. A Model Theoretic Semantics for Ontology Versioning , 2004, SEMWEB.
[25] Michel C. A. Klein,et al. Integrity and Change in Modular Ontologies , 2003, IJCAI.
[26] Pompeu Casanovas,et al. Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications , 2005, Law and the Semantic Web.
[27] Wamberto Weber Vasconcelos,et al. Managing ontology versions with a distributed blackboard architecture , 2004, SGAI Conf..