Search Sciweavers | Sciweavers

We present a framework for logic-based matchmaking on ALN ABoxes stored in a relational database. The proposed approach allows both non-standard reasoning and subsumption check be ...

Eufemia Tinelli, Francesco M. Donini, Michele Ruta...

claim paper

Read More »

181

click to vote

DLOG
2011

198views Automated Reasoning» more DLOG 2011»

Unchain My EL Reasoner

14 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

We study a restriction of the classiﬁcation procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...

Yevgeny Kazakov, Markus Krötzsch, Frantisek S...

claim paper

Read More »

127

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 11 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper