Search Sciweavers | Sciweavers

1285 search results - page 22 / 257

» Description Logic Reasoner: System Description

click to vote

JAIR
2002

110views more JAIR 2002»

Fusions of Description Logics and Abstract Description Systems

14 years 11 months ago

Download www.cs.cmu.edu

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

click to vote

IJCAI
2003

107views Artificial Intelligence» more IJCAI 2003»

Abductive Matchmaking using Description Logics

15 years 1 months ago

Download dli.iiit.ac.in

Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can mod...

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....

claim paper

Read More »

125

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

Comparing Subsumption Optimizations

15 years 1 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

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 1 months ago