1331 search results - page 3 / 267 » Description logic reasoning using the PTTP approach |
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
CADE
2006
Springer
15 years 9 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
105
click to vote
ICTAC
2005
Springer
15 years 2 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...
89
Voted
WLP
2004
Springer
15 years 2 months ago
2004
Springer
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...