Sciweavers

2302 search results - page 73 / 461
» Basic Description Logics
Sort
View
75
Voted
SOFSEM
2010
Springer
15 years 9 months ago
Comparison of Scoring and Order Approach in Description Logic EL(D)
Veronika Vaneková, Peter Vojtás
52
Voted
ATAL
2009
Springer
15 years 7 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
15 years 7 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann
81
Voted
IEEESCC
2007
IEEE
15 years 7 months ago
Checking e-service consistency using Description Logics
Luigi Dragone, Riccardo Rosati
AIME
2007
Springer
15 years 7 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...