Search Sciweavers | Sciweavers

598 search results - page 3 / 120

» Optimized Reasoning in Description Logics Using Hypertableau...

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

Comparing Subsumption Optimizations

13 years 7 months ago

Download www.comlab.ox.ac.uk

Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...

Ian Horrocks, Peter F. Patel-Schneider

claim paper

Read More »

click to vote

CADE
2010
Springer

187views Logical Reasoning» more CADE 2010»

Optimized Description Logic Reasoning via Core Blocking

13 years 7 months ago

Download www.comlab.ox.ac.uk

State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...

Birte Glimm, Ian Horrocks, Boris Motik

claim paper

Read More »

click to vote

DLOG
2006

159views Automated Reasoning» more DLOG 2006»

Tableau Caching for Description Logics with Inverse and Transitive Roles

13 years 7 months ago

Download users.encs.concordia.ca

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

claim paper

Read More »

click to vote

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

13 years 7 months ago

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »