ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS
暂无分享,去创建一个
Jeff Z. Pan | Kewen Wang | Zhe Wang | Grigoris Antoniou | Rodney W. Topor | R. Topor | G. Antoniou | Kewen Wang | Zhe Wang
[1] Diego Calvanese,et al. DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.
[2] Jeff Z. Pan,et al. Forgetting for knowledge bases in DL-Lite , 2010, Annals of Mathematics and Artificial Intelligence.
[3] Boris Konev,et al. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.
[4] Elise Y. Wong. Linked Data; http://linkeddata.org/ , 2015 .
[5] R. Reiter,et al. Forget It ! , 1994 .
[6] Ian Horrocks,et al. Just the right amount: extracting modules from ontologies , 2007, WWW '07.
[7] Ian Horrocks,et al. A Logical Framework for Modularity of Ontologies , 2007, IJCAI.
[8] Athanasios Kehagias,et al. A note on the refinement of ontologies , 2000, Int. J. Intell. Syst..
[9] A. Visser. Uniform interpolation and layered bisimulation , 1996 .
[10] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[11] Harith Alani,et al. Winnowing Ontologies Based on Application Use , 2006, ESWC.
[12] Ian Horrocks,et al. Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..
[13] Alan L. Rector,et al. Why do it the hard way? The Case for an Expressive Description Logic for SNOMED , 2008, KR-MED.
[14] Carsten Lutz,et al. Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.
[15] Ian Horrocks,et al. A Logical Framework for Modular Integration of Ontologies , 2006 .
[16] Franz Baader,et al. Pushing the EL Envelope , 2005, IJCAI.
[17] Enrico Motta,et al. Identifying Key Concepts in an Ontology, through the Integration of Cognitive Principles with Statistical and Topological Measures , 2008, ASWC.
[18] Jeff Z. Pan,et al. Forgetting Concepts in DL-Lite , 2008, ESWC.
[19] Enrico Motta,et al. Developing Ontologies in OWL: an Observational Study , 2006, OWLED.
[20] Carsten Lutz,et al. Conservative Extensions in Expressive Description Logics , 2007, IJCAI.
[21] Diego Calvanese,et al. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.
[22] Tim Berners-Lee,et al. Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..
[23] Kewen Wang,et al. Semantic forgetting in answer set programming , 2008, Artif. Intell..
[24] Willem Conradie,et al. Definitorially Complete Description Logics , 2006, KR.
[25] Frank Wolter,et al. Logic-based ontology comparison and module extraction, with an application to DL-Lite , 2010, Artif. Intell..
[26] B. Parsia,et al. Combining OWL Ontologies Using E-Connections , 2005 .
[27] Peter F. Patel-Schneider,et al. OWL 2 Web Ontology Language , 2009 .
[28] Carsten Lutz,et al. Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics , 2011, IJCAI.
[29] Frank Wolter,et al. Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.
[30] Tim Berners-Lee,et al. Linked data , 2020, Semantic Web for the Working Ontologist.
[31] Silvio Ghilardi,et al. An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..
[32] Jeff Z. Pan,et al. Uniform Interpolation for ALC\mathcal{ALC} Revisited , 2009, Australasian Conference on Artificial Intelligence.
[33] Jeff Z. Pan,et al. Uniform Interpolation for ALC Revisited , 2009, Australasian Conference on Artificial Intelligence.
[34] Liyang Yu. OWL: Web Ontology Language , 2011 .
[35] Frank Wolter,et al. Modularity in DL-Lite , 2007, Description Logics.