Sciweavers

1545 search results - page 84 / 309
» Defeasible Description Logics
Sort
View
111
Voted
IEEESCC
2007
IEEE
15 years 10 months ago
Checking e-service consistency using Description Logics
Luigi Dragone, Riccardo Rosati
AIME
2007
Springer
15 years 10 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...