Sciweavers

Share
3 search results - page 1 / 1
» Towards Pattern-Based Reasoning for Friendly Ontology Debugg...
Sort
View
KRMED
2008
9 years 5 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn
ESWS
2007
Springer
9 years 10 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language speci´Čücally tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...
books