Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability

DOI10.1007/978-3-642-35975-0_3zbMath1351.68268OpenAlexW1037614398MaRDI QIDQ5507385

Bijan Parsia, Pavel Klinov

Publication date: 19 December 2016

Published in: Uncertainty Reasoning for the Semantic Web II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35975-0_3

Mathematics Subject Classification ID

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

Related Items (4)

Probabilistic satisfiability: algorithms with the presence and absence of a phase transition ⋮ Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics ⋮ A Hybrid Method for Probabilistic Satisfiability ⋮ Towards Contingent World Descriptions in Description Logics

This page was built for publication: Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability