A faithful integration of description logics with logic programming

Authors:
Boris Motik;Riccardo Rosati
Affiliations:
Department of Computer Science, University of Manchester, UK;Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Italy
Venue:
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Year:
2007

Citing 8
Cited 61

What should a database know?

Journal of Logic Programming
NP trees and Carnap's modal logic

Journal of the ACM (JACM)
First-order logic and automated theorem proving (2nd ed.)

First-order logic and automated theorem proving (2nd ed.)
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Data complexity of reasoning in very expressive description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Query Answering for OWL-DL with rules

Web Semantics: Science, Services and Agents on the World Wide Web

Bridging the gap between OWL and relational databases

Proceedings of the 16th international conference on World Wide Web
On marrying ontological and metamodeling technical spaces

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
On marrying ontological and metamodeling technical spaces

The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Structured objects in owl: representation and reasoning

Proceedings of the 17th international conference on World Wide Web
Combining answer set programming with description logics for the Semantic Web

Artificial Intelligence
Guarded hybrid knowledge bases12

Theory and Practice of Logic Programming
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web

Reasoning Web
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
Meta Level Reasoning and Default Reasoning

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Reasoning about actions with sensing under qualitative and probabilistic uncertainty

ACM Transactions on Computational Logic (TOCL)
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

International Journal of Electronic Commerce
Making Web services tradable

Web Semantics: Science, Services and Agents on the World Wide Web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Ontology Based Object Categorization for Robots

PAKM '08 Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management
Combining Fuzzy Description Logics and Fuzzy Logic Programs

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Prolog Based Description Logic Reasoning

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Generating complex ontology instances from documents

Journal of Algorithms
Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence
Bridging the gap between OWL and relational databases

Web Semantics: Science, Services and Agents on the World Wide Web
FO(ID) as an Extension of DL with Rules

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Representing ontologies using description logics, description graphs, and rules

Artificial Intelligence
Equilibria in heterogeneous nonmonotonic multi-context systems

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Efficient description logic reasoning in prolog: The dlog system

Theory and Practice of Logic Programming
The complexity of circumscription in description logic

Journal of Artificial Intelligence Research
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Well-founded semantics for hybrid rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Quantified equilibrium logic and hybrid rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A semantic framework for language layering in WSML

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Answer set programming for the semantic web

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Towards tractable local closed world reasoning for the semantic web

EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Integrating rules and description logics with circumscription for the semantic web

RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Combining description logics, description graphs, and rules

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies

Semantic techniques for the web
General default logic

Annals of Mathematics and Artificial Intelligence
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules

Theory and Practice of Logic Programming
Towards closed world reasoning in dynamic open worlds

Theory and Practice of Logic Programming
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Querying in EL+ with Nonmonotonic Rules

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
Logic programming languages for databases and the web

A 25-year perspective on logic programming
Parametrized logic programming

JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
On the semantic relationship between datalog and description logics

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination

ACM Transactions on Computational Logic (TOCL)
Adding integrity constraints to the semantic web for instance data evaluation

ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Local closed world reasoning with description logics under the well-founded semantics

Artificial Intelligence
OWL and rules

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
DC proposal: towards a framework for efficient query answering and integration of geospatial data

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
Implementing query answering for hybrid MKNF knowledge bases

PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Datalog for security, privacy and trust

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Tightly integrated probabilistic description logic programs for representing ontology mappings

Annals of Mathematics and Artificial Intelligence
"Closing" some doors for the open semantic web

Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
A general Datalog-based framework for tractable query answering over ontologies

Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning in description logics: basics, extensions, and relatives

RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Query-Driven Procedures for Hybrid MKNF Knowledge Bases

ACM Transactions on Computational Logic (TOCL)
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms

Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Reasoning with vagueness in hybrid MKNF knowledge bases

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so achieving a seamless integration is not trivial. In this paper, we introduce hybrid MKNF knowledge bases that faithfully integrate DLs with LP using the logic of Minimal Knowledge and Negation as Failure (MKNF) [Lifschitz, 1991]. We also give reasoning algorithms and tight data complexity bounds for several interesting fragments of our logic.