The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Bayesian semantics for the semantic web
Bayesian semantics for the semantic web
Ontology Matching
Probabilistic description logic programs
International Journal of Approximate Reasoning
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Expressive probabilistic description logics
Artificial Intelligence
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Matching large ontologies: A divide-and-conquer approach
Data & Knowledge Engineering
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
Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Tractable Probabilistic Description Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Correspondence Patterns for Ontology Alignment
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
PR-OWL: A Framework for Probabilistic Ontologies
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Journal on Data Semantics XII
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A formal investigation of mapping language for terminological knowledge
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Well-founded semantics for hybrid rules
RR'07 Proceedings of the 1st 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
Journal on data semantics X
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A formal semantics for weighted ontology mappings
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Creating mappings between ontologies is a common way of approaching the semantic heterogeneity problem on the Semantic Web. To fit into the landscape of Semantic Web languages, a suitable, logic-based representation formalism for mappings is needed. We argue that such a formalism has to be able to deal with uncertainty and inconsistencies in automatically created mappings. We analyze the requirements for such a formalism, and we propose a novel approach to probabilistic description logic programs as such a formalism, which tightly combines normal logic programs under the well-founded semantics with both tractable ontology languages and Bayesian probabilities. We define the language, and we show that it can be used to resolve inconsistencies and merge mappings from different matchers based on the level of confidence assigned to different rules. Furthermore, we explore the semantic and computational aspects of probabilistic description logic programs under the well-founded semantics. In particular, we show that the well-founded semantics approximates the answer set semantics. We also describe algorithms for consistency checking and tight query processing, and we analyze the data and general complexity of these two central computational problems. As a crucial property, the novel tightly integrated probabilistic description logic programs under the well-founded semantics allow for tractable consistency checking and for tractable tight query processing in the data complexity, and they even have a first-order rewritable (and thus LogSpace data complexity) special case, which is especially interesting for representing ontology mappings.