364 search results - page 18 / 73 » Description Logics for Relative Terminologies |
KR
2010
Springer
14 years 1 days ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...
AIEDAM
1999
13 years 7 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
ISDA
2009
IEEE
14 years 2 months ago
2009
IEEE
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
DAGSTUHL
2006
13 years 9 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
DLOG
2007
13 years 10 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...