Sciweavers

3719 search results - page 14 / 744
» RACER System Description
Sort
View
LREC
2010
156views Education» more  LREC 2010»
13 years 5 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
APWEB
2011
Springer
13 years 2 months ago
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
DLOG
2004
13 years 8 months ago
Sonic: System Description
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
ANLP
1994
73views more  ANLP 1994»
13 years 8 months ago
Understanding Location Descriptions in the LEI System
Biological specimens have historicallybeen labeled with English descriptions of the location of collection. To perform spatial, statistical, or historic studies, these description...
David N. Chin, Matthew McGranaghan, Tung-Tse Chen
EWCBR
1998
Springer
13 years 11 months ago
Study and Formalization of a Case-Based Reasoning System Using a Description Logic
In this paper the C-CLASSIC Description Logic is used to design the retrieval and selection tasks of a Case-Based Reasoning system with homogeneous, explicit and formal criteria. T...
Sylvie Salotti, Véronique Ventos