Output details
11 - Computer Science and Informatics
University of Aberdeen
Return to search
Output 0 of 0 in the submission
Output title
Towards practical ABox abduction in large OWL DL ontologies
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, 7-11 August 2011, San Francisco, California, USA
Volume number
-
Issue number
-
First page of article
1160
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
3
Additional information
<22>This IJSWIS paper (among the top 2 journals in semantic web) builds upon a full 2011 AAAI conference paper (one of the foremost conferences in artificial intelligence), http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3433 (15 citations in Google Scholar). This research addresses the scalability issue of abductive reasoning for expressive ontology languages. The main innovation is a soundness-preserving method that reduces this problem to a traditional abduction problem in plain Datalog. This research forms the conceptual grounding that has informed research funded within the K-Drive project (kdrive-project.eu).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
