Probabilistic description logic programs

DOI10.1016/j.ijar.2006.06.012zbMath1122.68027OpenAlexW2013476941MaRDI QIDQ997050

Thomas Lukasiewicz

Publication date: 19 July 2007

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2006.06.012

zbMATH Keywords

well-founded semanticsdescription logicprobabilistic uncertaintyanswer set semanticsindependent choice logicnormal programstratified program

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Expressive probabilistic description logics, Combining answer set programming with description logics for the semantic web, PR-OWL - a language for defining probabilistic ontologies, On the Complexity of Probabilistic Abstract Argumentation Frameworks, Mining the semantic web statistical learning for next generation knowledge bases, On efficiently estimating the probability of extensions in abstract argumentation frameworks, Tightly integrated probabilistic description logic programs for representing ontology mappings, The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference, A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure, Description logic programs under probabilistic uncertainty and fuzzy vagueness, A formal framework for description logics with uncertainty, Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings, Complexity results for probabilistic answer set programming, Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web, Answer Set Programming: A Primer, P-log: refinement and a new coherency condition

Uses Software

• RuleML

Cites Work

• Combining probabilistic logic programming with the power of maximum entropy
• Combining Horn rules and description logics in CARIN
• The independent choice logic for modelling multiple agents under uncertainty
• Combining answer set programming with description logics for the semantic web
• Probabilistic logic programming with conditional constraints
• The well-founded semantics for general logic programs
• Programming with linear fractional functionals
• Logic Programming and Nonmonotonic Reasoning
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item