Academic
Keywords
Description Logic

DL,Description Logic,description logics,Descriptions logics,descriptions Logical,descriptive logic,descriptions logic,description logical,descriptive

Description Logic - DL
Publications: 3,470| Citation Count: 43,447
Stemming Variations: description logics, Descriptions logics, descriptions Logical, descriptive logic, descriptions logic
Cumulative Annual
    • A description logic (DL) is a knowledge representation formalism which may provide interesting inference services for diverse application areas...

    Ralf Molleret al. Towards computer vision with description logics: some recent progress

    • Description Logic (DL) is a formalism for knowledge representation that recently has gained widespread recognition among knowledge engineers. After a brief introduction to DL, the paper presents a DL reasoner developed at Gdańsk University of Technology (GUT). The reasoner, called KaSeA, is based on an original idea called Knowledge Cartography. The paper presents basics of Knowledge Cartography, its potentials and limitations, and compares the solution with other DL reasoners...

    Krzysztof Goczyłaet al. Processing and Querying Description Logic Ontologies Using Cartographi...

    • Description logic (DL) ALCI R + is a very expressive knowledge representation and reasoning language formed by adding transitive roles and inverse roles to the basic DL ALC. Transitive roles in ALCI R + are appropriate for describing accessibility relationship between services, while the relationship is encoded as a ServiceProcess in DAML-S as an external understanding. The transitive closure of the special transitive role which represents accessibility relationship between the first and final services can be used to find an execution sequence of the composite service...

    Junyan Qianet al. ALCI R +  Reasoning for Semantic Web Services Composition

Sort by: