Search Sciweavers | Sciweavers

We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...

Volker Haarslev, Ralf Möller

claim paper

Read More »

click to vote

IJCAI
2001

106views Artificial Intelligence» more IJCAI 2001»

Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity

13 years 8 months ago

Download www.ing.unitn.it

In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...

Fabio Massacci

claim paper

Read More »

click to vote

DLOG
2010

203views Automated Reasoning» more DLOG 2010»

Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms

13 years 5 months ago

Download www.cs.uwaterloo.ca

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,...

Chan Le Duc, Myriam Lamolle

claim paper

Read More »

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

A Description Logic with Transitive and Inverse Roles and Role Hierarchies

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers