Sciweavers

1545 search results - page 71 / 309
» Defeasible Description Logics
Sort
View
DLOG
1998
13 years 9 months ago
A Description Logic System for Learning in Complex Domains
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
Jordi Alvarez
DLOG
2009
13 years 9 months ago
Using Description Logics in Relation Based Access Control
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...
Rui Zhang, Alessandro Artale, Fausto Giunchiglia, ...
RWEB
2010
Springer
13 years 6 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
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...
Anni-Yasmin Turhan
DLOG
2011
12 years 11 months ago
Nominal Schemas for Integrating Rules and Description Logics
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
Markus Krötzsch, Frederick Maier, Adila Alfa ...
DLOG
2006
13 years 9 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
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...
Yu Ding, Volker Haarslev