description logic reasoning

40

IJCAI
2003

130views Artificial Intelligence» more IJCAI 2003»

Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

14 years 1 months ago

Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...

Stefan Schlobach, Ronald Cornet

claim paper

Read More »

38

click to vote

DLOG
2004

105views Automated Reasoning» more DLOG 2004»

The Instance Store: DL Reasoning with Large Numbers of Individuals

14 years 1 months ago

Download www.comlab.ox.ac.uk

We present an application

Ian Horrocks, Lei Li, Daniele Turi, Sean Bechhofer

claim paper

Read More »

28

click to vote

ICWE
2004
Springer

83views Internet Technology» more ICWE 2004»

Description Logics Reasoning in Web-based Education Environments

14 years 5 months ago

Download www.pst.informatik.uni-muenchen.de

The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...

Nenad Krdzavac, Dragan Gasevic, Vladan Devedzic

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers