Academic
Publications
Basic Description Logics

Basic Description Logics,Franz Baader,Werner Nutt

Basic Description Logics   (Citations: 236)
BibTex | RIS | RefWorks Download
Conference: Description Logics - DLog , pp. 43-95, 2003
Cumulative Annual
    • ...Description Logics (DLs) [1] offer a powerful formalism for representing and reasoning with knowledge in a broad range of applications...
    • ...2. An extension of the idea of canonical interpretation [26, 28] that incorporates the TBox definitions into the interpretation of concept names...
    • ...The canonical interpretation of a constraint system has been defined in [26, 28]...
    • ...In [28], no TBox is involved, and the canonical interpretation is defined to be a model for a constraint system that originates from an ABox of an ALCN knowledge base...

    Jia Taoet al. PSpace Tableau Algorithms for Acyclic Modalized ALC

    • ...A new, challenging area for exploring the potential of abductive reasoning, which we aim to address in this paper, is Description Logic (DL) [3]...

    Szymon Klarmanet al. ABox Abduction in the Description Logic ALC

    • ...Ontological knowledge. Following [2], we assume ALC as the underlying description logic [11] for representing the cognitive structures of CooL-AgentSpeak agents...
    • ...With respect to [11] and [2], we extended the syntax of the language used for representing the ontology by introducing annotations of concepts and properties, in order to make CooL-AgentSpeak practical as...

    Viviana Mascardiet al. CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and...

    • ...Tanto el cuerpo como la cabeza de la regla son conjunciones positivas de los átomos; SWRL puede entender como significado que si todos los elementos en el antecedente son Verdaderos, entonces el consecuente debe ser también cierto [18]...

    Gustavo Isazaet al. Attacks prevention model using semantic correlation and multiagent sys...

    • ...DLs are a family of knowledge representation formalisms that can be used to represent a given domain in terms of concepts (unary predicates), roles (binary predicates), and individuals (constants) [3]...
    • ...By the well-known relationship between DLs and first-order logic [3], (K) corresponds to the transformation shown in Table 2. The resulting clauses can contain the equality predicate ; for example, theELHIO TBox axiom Popev{BenedictXVI} is transformed into a clause x BenedictXVI Pope(x)...

    Héctor Pérez-Urbinaet al. Tractable query answering and rewriting under description logic constr...

Sort by: