Sciweavers

116 search results - page 3 / 24
» Closed Terminologies in Description Logics
Sort
View
DLOG
2003
14 years 10 months ago
Description Logic Terminology
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
Franz Baader
75
Voted
JAR
2007
67views more  JAR 2007»
14 years 9 months ago
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...
ECAI
2008
Springer
14 years 11 months ago
Semantic Modularity and Module Extraction in Description Logics
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
Boris Konev, Carsten Lutz, Dirk Walther, Frank Wol...
CLA
2007
14 years 11 months ago
A Proposal of Description Logic on Concept Lattices
There are two major formalisms that are developed around concepts: (1) Formal Concept Analysis (FCA) by R. Wille and B. Ganter, and (2) Description Logic (DL) that goes back to the...
Nikolay Shilov, Sang-Yong Han