1582 search results - page 73 / 317 » On Higher-Order Description Logics |
KR
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
113
click to vote
DEXA
2008
Springer
14 years 11 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
DLOG
1998
14 years 11 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
DLOG
2009
14 years 11 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
116
click to vote
RWEB
2010
Springer
14 years 8 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...