Sciweavers

1545 search results - page 84 / 309
» Defeasible Description Logics
Sort
View
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...
97
Voted
GECCO
2007
Springer
154views Optimization» more  GECCO 2007»
15 years 10 months ago
Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers
Mauro Dragoni, Andrea Tettamanzi