Reasoning with Multi-version Ontologies
暂无分享,去创建一个
[1] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[2] M. F.,et al. Bibliography , 1985, Experimental Gerontology.
[3] Jay Banerjee,et al. Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.
[4] Temporal Logic , 1994, Lecture Notes in Computer Science.
[5] J. van Benthem,et al. Temporal logic , 1995 .
[6] John F. Roddick,et al. A survey of schema versioning issues for database systems , 1995, Inf. Softw. Technol..
[7] Ian Horrocks. FaCT and iFaCT , 1999, Description Logics.
[8] Patrick Blackburn,et al. Hybrid Languages and Temporal Logic , 1999, Log. J. IGPL.
[9] Patrick Blackburn,et al. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.
[10] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[11] Volker Haarslev,et al. Description of the RACER System and its Applications , 2001, Description Logics.
[12] Peter Crowther,et al. The DIG Description Logic Interface , 2003, Description Logics.
[13] Michel C. A. Klein,et al. Integrity and Change in Modular Ontologies , 2003, IJCAI.
[14] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[15] Mark A. Musen,et al. The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..
[16] Jeff Heflin,et al. A Model Theoretic Semantics for Ontology Versioning , 2004, SEMWEB.
[17] 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 .
[18] Michel C. A. Klein,et al. Change Management for Distributed Ontologies , 2004 .
[19] Wamberto Weber Vasconcelos,et al. Managing ontology versions with a distributed blackboard architecture , 2004, SGAI Conf..
[20] Ljiljana Stojanovic,et al. Methods and tools for ontology evolution , 2004 .
[21] Frank van Harmelen,et al. A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.