摘要: Axiom pinpointing refers to the task of finding specific axioms in an ontology which are responsible for a consequence follow. This has been studied, under different names, many research areas, leading reformulation and reinvention techniques. In this work, we present general overview axiom pinpointing, providing basic notions, approaches solving it, some variations applications have considered literature. should serve as starting point researchers interested related problems, with ample bibliography delving deeper into details.
arxiv.org参考文章(52)
Boontawee Suntisrivaraporn, Module extraction and incremental classification: a pragmatic approach for ƐL+ ontologies european semantic web conference. pp. 230- 244 ,(2008)
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov, Empirical Study of Logic-Based Modules: Cheap Is Cheerful international semantic web conference. pp. 84- 100 ,(2013) , 10.1007/978-3-642-41335-3_6
Rafael Peñaloza Nyssen, Axiom-Pinpointing in Description Logics and Beyond Deutsche Nationalbibliothek. pp. 1- 144 ,(2009)
Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth, Kevin Lee, Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. Description Logics. ,(2006)
Thomas Meyer, Jeff Z. Pan, Richard Booth, Kevin Lee, Finding maximally satisfiable terminologies for the description logic ALC national conference on artificial intelligence. pp. 269- 274 ,(2006)
İsmail İlkan Ceylan, Rafael Peñaloza, The Bayesian Description Logic ${\mathcal{BEL}}$ international joint conference on automated reasoning. ,vol. 2211, pp. 480- 494 ,(2014) , 10.1007/978-3-319-08587-6_37
Holger Knublauch, Ray W. Fergerson, Natalya F. Noy, Mark A. Musen, The protégé OWL plugin: an open development environment for semantic web applications international semantic web conference. pp. 229- 243 ,(2004) , 10.1007/978-3-540-30475-3_17
Matthew Horridge, Bijan Parsia, Ulrike Sattler, Laconic and Precise Justifications in OWL international semantic web conference. pp. 323- 338 ,(2008) , 10.1007/978-3-540-88564-1_21
Claudia d’Amato, Nicola Fanizzi, Thomas Lukasiewicz, Tractable Reasoning with Bayesian Description Logics Lecture Notes in Computer Science. ,vol. 5291, pp. 146- 159 ,(2008) , 10.1007/978-3-540-87993-0_13
Martin Knechtel, Rafael Peñaloza, A Generic Approach for Correcting Access Restrictions to a Consequence Lecture Notes in Computer Science. ,vol. 6088, pp. 167- 182 ,(2010) , 10.1007/978-3-642-13486-9_12