A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

Authors:
Thomas Lukasiewicz
Affiliations:
Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-00198 Rome, Italy
Venue:
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Year:
2007

Citing 21
Cited 25

Combining Horn rules and description logics in CARIN

Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics

Journal of Intelligent Information Systems
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential

Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Practical Reasoning for Expressive Description Logics

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Nonmonotonic Rule Systems on Top of Ontology Layers

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web

ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
Position paper: a comparison of two modelling paradigms in the Semantic Web

Proceedings of the 15th international conference on World Wide Web
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
DL-Lite: tractable description logics for ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A uniform integration of higher-order reasoning and external evaluations in answer-set programming

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
On the decidability and complexity of integrating ontologies and rules

Web Semantics: Science, Services and Agents on the World Wide Web
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
Effective integration of declarative rules with external evaluations for semantic-web reasoning

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Can OWL and logic programming live together happily ever after?

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications

A dynamic ontology for a dynamic reference work

Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries
Tractable Probabilistic Description Logic Programs

SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
An Approach to Probabilistic Data Integration for the Semantic Web

Uncertainty Reasoning for the Semantic Web I
Rule-Based Approaches for Representing Probabilistic Ontology Mappings

Uncertainty Reasoning for the Semantic Web I
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
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

Journal on Data Semantics XII
Uncertainty in the Semantic Web

SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Uncertainty Reasoning for the Semantic Web

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A Reasoner for Simple Conceptual Logic Programs

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Combining description logics, description graphs, and rules

FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Introduction to the tplp special issue, logic programming in databases: From datalog to semantic-web rules

Theory and Practice of Logic Programming
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules

Theory and Practice of Logic Programming
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
XSWRL, an Extended Semantic Web Rule Language and prototype implementation

Expert Systems with Applications: An International Journal
Hybrid reasoning with non-monotonic rules

ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
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
OWL: a description logic based ontology language

ICLP'05 Proceedings of the 21st international conference on Logic Programming
XML querying using ontological information

PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Description logics in ontology applications

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Probabilistic description logic programs

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Tightly integrated probabilistic description logic programs for representing ontology mappings

Annals of Mathematics and Artificial Intelligence
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a novel combination of disjunctive logic programs under the answer set semantics with description logics for the Semantic Web. The combination is based on a well-balanced interface between disjunctive logic programs and description logics, which guarantees the decidability of the resulting formalism without assuming syntactic restrictions. We show that the new formalism has very nice semantic properties. In particular, it faithfully extends both disjunctive programs and description logics. Furthermore, we describe algorithms for reasoning in the new formalism, and we give a precise picture of its computational complexity. We also provide a special case with polynomial data complexity.