Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities

DOI10.1016/j.ijar.2014.03.001zbMath1433.68418OpenAlexW2043633605MaRDI QIDQ465595

Rafael Peñaloza, Andreas Ecke, 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

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

Uses Software

• CEL

Cites Work

• Automata-based axiom pinpointing
• An analysis of first-order logics of probability
• Expressive probabilistic description logics
• Enriching [Escr [Lscr ]-Concepts with Greatest Fixpoints]
• Axiom Pinpointing in General Tableaux
• Instance-Based Non-standard Inferences in $\mathcal{EL}$ with Subjective Probabilities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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