Sciweavers

1435 search results - page 63 / 287
» Description Logics
Sort
View
105
Voted
IEEESCC
2007
IEEE
15 years 10 months ago
Checking e-service consistency using Description Logics
Luigi Dragone, Riccardo Rosati
119
Voted
AIME
2007
Springer
15 years 9 months ago
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
Boontawee Suntisrivaraporn, Franz Baader, Stefan S...
116
Voted
ECSQARU
2007
Springer
15 years 9 months ago
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Thomas Lukasiewicz, Umberto Straccia