Sciweavers

116 search results - page 3 / 24
» Closed Terminologies in Description Logics
Sort
View
DLOG
2003
13 years 8 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
JAR
2007
67views more  JAR 2007»
13 years 7 months ago
Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...
ECAI
2008
Springer
13 years 9 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
13 years 9 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