1435 search results - page 123 / 287 » Description Logics |
143
click to vote
ADHOCNETS
2010
Springer
15 years 2 months ago
2010
Springer
Event detection is a central component in numerous wireless sensor network (WSN) applications. In spite of this, the area of event description has not received enough attention. Th...
175
click to vote
AAAI
2007
15 years 6 months ago
2007
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
150
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
128
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twof...
134
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...