Expressive probabilistic description logics
From MaRDI portal
Publication:2389639
DOI10.1016/J.ARTINT.2007.10.017zbMATH Open1182.68283OpenAlexW2055641305MaRDI QIDQ2389639
Publication date: 17 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2007.10.017
algorithmscomplexityprobabilistic default reasoningprobabilistic description logicsconditional knowledge basesuncertainty reasoning for the semantic web
Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonmonotonic reasoning, preferential models and cumulative logics
- A taxonomy of complexity classes of functions
- Probabilistic logic
- What does a conditional knowledge base entail?
- Column Generation Methods for Probabilistic Logic
- On the hardness of approximate reasoning
- A logic for reasoning about probabilities
- Computing functions with parallel queries to NP
- A logic for default reasoning
- Complexity of the two-variable fragment with counting quantifiers
- Ontology Matching
- Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
- Conditional entailment: bridging two approaches to default reasoning.
- Nonmonotonic reasoning, conditional objects and possibility theory
- The computational complexity of probabilistic inference using Bayesian belief networks
- Anytime deduction for probabilistic logic
- Probabilistic default reasoning with conditional constraints
- Probabilistic logic under coherence: complexity and algorithms
- Probabilistic description logic programs
- Belief functions and default reasoning
- Another perspective on default reasoning
- ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
- Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
- On the consistency of defeasible databases
- Weak nonmonotonic probabilistic logics
- Conditional objects as nonmonotonic consequence relationships
- Probabilistic logic programming with conditional constraints
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Probabilistic satisfiability
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
- Soft computing in ontologies and semantic web.
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
Cited In (35)
- Query answering in circumscribed OWL2 profiles
- Extending description logics with uncertainty reasoning in possibilistic logic
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- A Hybrid Method for Probabilistic Satisfiability
- Typicalities and probabilities of exceptions in nonmotonic description logics
- Reasoning within intuitionistic fuzzy rough description logics
- Tightly integrated probabilistic description logic programs for representing ontology mappings
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
- Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
- Granular computing applied to ontologies
- Languages for probabilistic modeling over structured and relational domains
- Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete
- Towards Contingent World Descriptions in Description Logics
- Tableau reasoning for description logics and its extension to probabilities
- On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
- A reconstruction of multipreference closure
- Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities
- Explanations as programs in probabilistic logic programming
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Rational closure for all description logics
- Towards Statistical Reasoning in Description Logics over Finite Domains
- Defeasible RDFS via rational closure
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
- Reasoning with Uncertain and Inconsistent OWL Ontologies
- Learning description logic axioms from discrete probability distributions over description graphs
- Uncertain lightweight ontologies in a product-based possibility theory framework
- Fuzzy description logics with general t-norms and datatypes
- PR-OWL - a language for defining probabilistic ontologies
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- Aleatoric propositions: reasoning about coins
- Probabilistic satisfiability and coherence checking through integer programming
- Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms
Uses Software
This page was built for publication: Expressive probabilistic description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389639)
