1317 search results - page 24 / 264 » Fusions of Description Logics and Abstract Description Syste... |
ICEIS
2006
IEEE
15 years 5 months ago
2006
IEEE
CADE
2008
Springer
16 years 18 hour ago
2008
Springer
Abstract. Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowl...
122
click to vote
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
101
click to vote
OWLED
2007
15 years 1 months ago
2007
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
102
click to vote
DLOG
2010
14 years 9 months ago
2010
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...