598 search results - page 50 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
KSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
DLOG
2007
15 years 6 days ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
DLOG
2004
14 years 11 months ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...
KI
2002
Springer
14 years 9 months ago
2002
Springer
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...