Sciweavers

1462 search results - page 72 / 293
» Autoepistemic Description Logics
Sort
View
AIME
2007
Springer
15 years 8 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...
74
Voted
GECCO
2007
Springer
154views Optimization» more  GECCO 2007»
15 years 8 months ago
Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers
Mauro Dragoni, Andrea Tettamanzi