The main semantical and logical foundation of OWL are description logics (DLs).
Description logics are very close to modal logics.
In this paper, we extend that result for description logics.
Section 2 reviews basic concepts of probabilistic description logics and of link prediction.
In this paper, we present the expressive probabilistic description logics P-SHIF(D) and P-SHOIN(D), which are probabilistic extensions of these description logics.
Description Logics (DL) are used to represent the terminological knowledge of SWSA in a structured way.
Description Logics (DLs) are a family of logic based knowledge representation formalisms.
We present ARTIGENCE, a representation language that combines description logics and Horn rules with uncertainty.
Konclude's reasoning core is primarily based on the well-known tableau calculus for expressive Description Logics.
The class of description logics suitable for the proposed methods is strong on the arithmetical side.
Fuzzy description logics (DLs) can be used to represent and reason with vague knowledge.
