Sciweavers

1435 search results - page 28 / 287
» Description Logics
Sort
View
ISDA
2009
IEEE
14 years 4 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia
ICCBR
2010
Springer
14 years 1 months ago
An Algorithm for Adapting Cases Represented in an Expressive Description Logic
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...
Julien Cojan, Jean Lieber
DLOG
2007
14 years 5 days ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
ECAI
2008
Springer
13 years 11 months ago
Description Logic Rules
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
DLOG
2006
13 years 11 months ago
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
Jan Hladik, Rafael Peñaloza