Pages that link to "Item:Q2389639"

The following pages link to Expressive probabilistic description logics (Q2389639):

Displaying 29 items.

• Tightly integrated probabilistic description logic programs for representing ontology mappings (Q429437) (← links)
• Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities (Q465595) (← links)
• Query answering in circumscribed OWL2 profiles (Q825008) (← links)
• Granular computing applied to ontologies (Q985134) (← links)
• Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
• Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
• Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
• Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
• PR-OWL - a language for defining probabilistic ontologies (Q1679648) (← links)
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
• Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete (Q2032149) (← links)
• A reconstruction of multipreference closure (Q2046040) (← links)
• Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies (Q2248518) (← links)
• Rational closure for all description logics (Q2321316) (← links)
• Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
• Probabilistic satisfiability and coherence checking through integer programming (Q2344365) (← links)
• Kuznetsov independence for interval-valued expectations and sets of probability distributions: properties and algorithms (Q2353979) (← links)
• Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
• Uncertain lightweight ontologies in a product-based possibility theory framework (Q2411268) (← links)
• Extending description logics with uncertainty reasoning in possibilistic logic (Q3168949) (← links)
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
• Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816) (← links)
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
• Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
• A Hybrid Method for Probabilistic Satisfiability (Q5200036) (← links)
• Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
• Defeasible RDFS via rational closure (Q6490339) (← links)