Search Sciweavers | Sciweavers

1512 search results - page 16 / 303

» Description Logic Terminology

click to vote

MEDINFO
2007

112views Healthcare» more MEDINFO 2007»

SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions

14 years 11 months ago

Download lat.inf.tu-dresden.de

After a critical review of the present architecture of SNOMED CT, addressing both logical and ontological issues, we present a roadmap towards an overall improvement of this termi...

Stefan Schulz, Boontawee Suntisrivaraporn, Franz B...

claim paper

Read More »

click to vote

CADE
2001
Springer

140views Logical Reasoning» more CADE 2001»

RACER System Description

15 years 10 months ago

Download www.racer-systems.com

RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...

Ralf Möller, Volker Haarslev

claim paper

Read More »

click to vote

DLOG
2003

141views Automated Reasoning» more DLOG 2003»

Fixpoint Extensions of Temporal Description Logics

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

In this paper we introduce a decidable ﬁxpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...

Enrico Franconi, David Toman

claim paper

Read More »

123

click to vote

CADE
2010
Springer

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

14 years 10 months ago