This paper proposes an extension to Description Logic Programs (DLP's). A DLP is a set of terminological definitions augmented with rules whose clauses maybe instances of the terminological definitions. A Probabilistic Description Logic Program (PDLP) augments DLP with probabilities. The paper defines the semantics of PDL programs and answer set semantics and proves the reduction of queries in PDLPs to the equivalent of queries in simple DLPs

This paper presents a formal approach to augmenting the axioms in an ontology with uncertainty values, be they probabilistic, possibilistic, or fuzzy. A functional framework is provided to manipulate numerical values that represent uncertainty intervals of axioms. Also some good examples are provided at the end of the paper to demonstrate the usability of this uncertainty reasoning framework

This paper proposes a fuzzy extension to the SHIN DL. A knowledge base implemented in the f-SHIN DL would comprise a TBox, an RBox and an ABox. All of these would contain a fuzzy interval describing the degree of belief associated with concept membership, role membership, concept and role hierarchies, and all other axioms. The paper also proposes semantics of concept conjunction and disjunction and general concept inclusions and universal and existential restrictions augmented with fuzzy intervals

Very tough reading. This paper describes the complexities, operators and semantics of various temporal extensions to Description Logics. Interval-based, point-based and concrete domain based formalisms are discussed with the list of available operators and the associated complexities with respect to knowledge base satisfiability, concept satisfiability and logical implication

Introducing Temporal DL from Artale and Franconi, the gurus of temporal DL