On the Update of Description Logic Ontologies at the Instance Level
暂无分享,去创建一个
[1] Diego Calvanese,et al. DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.
[2] Georg Gottlob,et al. On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..
[3] Bijan Parsia,et al. Pellet: An OWL DL Reasoner , 2004, Description Logics.
[4] Ljiljana Stojanovic,et al. Consistent Evolution of OWL Ontologies , 2005, ESWC.
[5] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[6] Carsten Lutz,et al. Updating Description Logic ABoxes , 2006, KR.
[7] Georg Gottlob,et al. On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals , 1992, Artif. Intell..
[8] Grigoris Antoniou,et al. On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.
[9] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[10] Ian Horrocks,et al. Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.
[11] Diego Calvanese,et al. Data Complexity of Query Answering in Description Logics , 2006, Description Logics.
[12] Franz Baader,et al. Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.
[13] Gabriel M. Kuper,et al. Updating Logical Databases , 1986, Adv. Comput. Res..
[14] Richard Booth,et al. Knowledge Integration for Description Logics , 2005, AAAI.
[15] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[16] Ian Horrocks. The FaCT System , 1998, TABLEAUX.
[17] Gerhard Lakemeyer,et al. The logic of knowledge bases , 2000 .
[18] Diego Calvanese,et al. QuOnto: Querying Ontologies , 2005, AAAI.
[19] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[20] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .