Sciweavers

1512 search results - page 41 / 303
» Description Logic Terminology
Sort
View
DLOG
2006
13 years 9 months ago
Handling Imprecise Knowledge with Fuzzy Description Logic
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
EWCBR
1998
Springer
13 years 12 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
KRMED
2008
13 years 9 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn
DLOG
2003
13 years 9 months ago
Detecting Inconsistencies between UML Models Using Description Logic
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...
Ragnhild Van Der Straeten, Jocelyn Simmonds, Tom M...
WS
2008
ACM
13 years 7 months ago
Managing uncertainty and vagueness in description logics for the Semantic Web
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
Thomas Lukasiewicz, Umberto Straccia