Sciweavers

950 search results - page 37 / 190
» Pin-pointing concept descriptions
Sort
View
KRMED
2008
15 years 3 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
SERA
2005
Springer
15 years 7 months ago
MADL: Meta Architecture Description Language
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
Adel Smeda, Mourad Oussalah, Tahar Khammaci
SEMWEB
2009
Springer
15 years 8 months ago
An Algorithm for Learning with Probabilistic Description Logics
Probabilistic Description Logics are the basis of ontologies in the Semantic Web. Knowledge representation and reasoning for these logics have been extensively explored in the last...
José Eduardo Ochoa Luna, Fabio Gagliardi Co...
FUZZIEEE
2007
IEEE
15 years 8 months ago
A Fuzzy Description Logic with Product T-norm
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
Fernando Bobillo, Umberto Straccia
SEMWEB
2007
Springer
15 years 8 months ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...