Tightly integrated probabilistic description logic programs for the semantic web

Authors:
Andrea Calì;Thomas Lukasiewicz
Affiliations:
Facoltà di Scienze e Tecnologie Informatiche, Libera Università di Bolzano, Italy;Dipartimento di Informatica e Sistemistica, Sapienza Università di Roma, Italy and Institut für Informationssysteme, Technische Universität Wien, Austria
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Year:
2007

Citing 2
Cited 13

The independent choice logic for modelling multiple agents under uncertainty

Artificial Intelligence - Special issue on economic principles of multi-agent systems
Probabilistic description logic programs

International Journal of Approximate Reasoning

Expressive probabilistic description logics

Artificial Intelligence
Tractable Probabilistic Description Logic Programs

SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Rules and Ontologies for the Semantic Web

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

Reasoning Web
An Approach to Probabilistic Data Integration for the Semantic Web

Uncertainty Reasoning for the Semantic Web I
Description logic programs under probabilistic uncertainty and fuzzy vagueness

International Journal of Approximate Reasoning
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
RDFKB: efficient support for RDF inference queries and knowledge management

IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Annotated RDF

ACM Transactions on Computational Logic (TOCL)
Uncertainty Reasoning for the Semantic Web

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Tightly integrated probabilistic description logic programs for representing ontology mappings

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Hybrid reasoning with rules and ontologies

Semantic techniques for the web

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a novel approach to probabilistic description logic programs for the Semantic Web, where a tight integration of disjunctive logic programs under the answer set semantics with description logics is generalized by probabilistic uncertainty. The approach has a number of nice features. In particular, it allows for a natural probabilistic data integration and for a natural representation of ontology mappings under probabilistic uncertainty and inconsistency. It also provides a natural integration of a situation-calculus based language for reasoning about actions with both description logics and probabilistic uncertainty.