Sciweavers

2302 search results - page 73 / 461
» Basic Description Logics
Sort
View
98
Voted
SOFSEM
2010
Springer
16 years 16 days ago
Comparison of Scoring and Order Approach in Description Logic EL(D)
Veronika Vaneková, Peter Vojtás
68
Voted
ATAL
2009
Springer
15 years 10 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
109
Voted
FROCOS
2009
Springer
15 years 10 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
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...