Search Sciweavers | Sciweavers

1545 search results - page 34 / 309

» Defeasible Description Logics

click to vote

LPAR
2004
Springer

122views Automated Reasoning» more LPAR 2004»

Nonmonotonic Description Logic Programs: Implementation and Experiments

14 years 1 months ago

Download www.kr.tuwien.ac.at

Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...

Thomas Eiter, Giovambattista Ianni, Roman Schindla...

claim paper

Read More »

click to vote

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Sonic: System Description

13 years 9 months ago

Download lat.inf.tu-dresden.de

Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...

Anni-Yasmin Turhan, Christian Kissig

claim paper

Read More »

click to vote

MEDINFO
2007

130views Healthcare» more MEDINFO 2007»

What's in a code? Towards a Formal Account of the Relation of Ontologies and Coding Systems

13 years 9 months ago

Download www.cs.man.ac.uk

Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...

Alan L. Rector

claim paper

Read More »

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

14 years 1 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »