Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Tractable reasoning via approximation
Artificial Intelligence
Semantical and computational aspects of Horn approximations
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Approximating Terminological Queries
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Towards a Systematic Account of Different Semantics for Logic Programs
Journal of Logic and Computation
The Description Logic Handbook
The Description Logic Handbook
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Knowledge compilation using horn approximations
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Approximating description logic classification for semantic web reasoning
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Instance-based retrieval by analogy
Proceedings of the 2007 ACM symposium on Applied computing
What Is Approximate Reasoning?
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Statistical Learning for Inductive Query Answering on OWL Ontologies
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Analogical Reasoning in Description Logics
Uncertainty Reasoning for the Semantic Web I
ReduCE: A Reduced Coulomb Energy Network Method for Approximate Classification
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Cost efficient, adaptive reasoning strategies for pervasive service discovery
Proceedings of the 2009 international conference on Pervasive services
Approximating OWL-DL ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A Weighted Approach to Partial Matching for Mobile Reasoning
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Efficient OWL reasoning with logic programs: evaluations
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Query answering and ontology population: an inductive approach
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Ontology aided materials service case analysis
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Approximate instance retrieval on ontologies
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Completeness guarantees for incomplete reasoners
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Lazy learning from terminological knowledge bases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Induction of robust classifiers for web ontologies through kernel machines
Web Semantics: Science, Services and Agents on the World Wide Web
Data Mining and Knowledge Discovery
| Hi-index | 0.00 |
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we obtain substantially improved reasoning performance by disregarding non-Horn features of OWL DL. Our approach comes as a side-product of recent research results concerning a new transformation of OWL DL ontologies into negation-free disjunctive datalog [1, 2, 3, 4], and rests on the idea of performing standard resolution over disjunctive rules by treating them as if they were non-disjunctive ones. We analyse our reasoning approach by means of non-monotonic reasoning techniques, and present an implementation, called Screech.