524 search results - page 4 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
97
Voted
DLOG
1998
15 years 9 days ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
99
Voted
DLOG
2006
15 years 10 days ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
139
Voted
DLOG
2011
14 years 2 months ago
2011
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
104
click to vote
DLOG
2008
15 years 1 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
93
Voted
FLAIRS
2006
15 years 10 days ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...