Probabilistic description logic programs under inheritance with overriding for the semantic Web

DOI10.1016/J.IJAR.2007.08.005MaRDI QIDQ2379312zbMATH OpenOpenAlexFDO

Authors Thomas Lukasiewicz

Publication date 19 March 2010

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

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

zbMATH Keywords

conditional knowledge basesdefault reasoningdescription logic programsdescription logicsinheritance with overridinglexicographic entailmentlogic programsprobabilistic description logic programsprobabilistic logic programssystem \(Z\)

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Internet topics (68M11) Learning and adaptive systems in artificial intelligence (68T05) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Probabilistic description logic programs
• Expressive probabilistic description logics
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

Cites work

• A logic for reasoning about probabilities
• A semantical framework for supporting subjective and conditional probabilities in deductive databases
• An analysis of first-order logics of probability
• Another perspective on default reasoning
• Answering queries from context-sensitive probabilistic knowledge bases
• Anytime deduction for probabilistic logic
• Belief functions and default reasoning
• Combining probabilistic logic programming with the power of maximum entropy
• Concerning measures in first order calculi
• From statistical knowledge bases to degrees of belief
• scientific article; zbMATH DE number 1931651 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• scientific article; zbMATH DE number 5040084 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• scientific article; zbMATH DE number 3321249 (Why is no real title available?)
• scientific article; zbMATH DE number 3058269 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• Hybrid probabilistic programs
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the complexity of inference about probabilistic relational models
• On the consistency of defeasible databases
• Probabilistic default reasoning with conditional constraints
• Probabilistic Horn abduction and Bayesian networks
• Probabilistic logic
• Probabilistic logic programming
• Probabilistic logic programming with conditional constraints
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The independent choice logic for modelling multiple agents under uncertainty
• The logical foundations of statistical inference

Cited in

(16)

• PR-OWL - a language for defining probabilistic ontologies
• Expressive probabilistic description logics
• Uncertain inheritance and recognition as probabilistic default reasoning
• Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
• Probabilistic lexicographic entailment under variable-strength inheritance with overriding
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
• Tightly integrated probabilistic description logic programs for representing ontology mappings
• scientific article; zbMATH DE number 2063231 (Why is no real title available?)
• scientific article; zbMATH DE number 1931651 (Why is no real title available?)
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Description logic programs under probabilistic uncertainty and fuzzy vagueness
• A formal framework for description logics with uncertainty
• Probabilistic description logic programs

This page was built for publication: Probabilistic description logic programs under inheritance with overriding for the semantic Web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2379312)