Completion-based generalization inferences for the description logic ELOR with subjective probabilities

DOI10.1016/J.IJAR.2014.03.001MaRDI QIDQ465595zbMATH OpenOpenAlexFDO

Authors Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan

Publication date 23 October 2014

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

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

zbMATH Keywords

description logicsgeneralizationsleast common subsumermost specific conceptnon-standard inferencesprobabilistic description logics

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
• Probabilistic description logics for subjective uncertainty
• Description Logics
• Extending \(\mathcal{EL}^{++}\) with linear constraints on the probability of axioms
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1948991 (Why is no real title available?)
• scientific article; zbMATH DE number 1836276 (Why is no real title available?)
• scientific article; zbMATH DE number 1882072 (Why is no real title available?)
• An analysis of first-order logics of probability
• Automata-based axiom pinpointing
• Axiom Pinpointing in General Tableaux
• Enriching \(\mathcal {EL}\)-concepts with greatest fixpoints
• Expressive probabilistic description logics
• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities

Cited in

(1)

• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities

Describes a project that uses

Uses Software

• CEL

This page was built for publication: Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities

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