Sciweavers

3 search results - page 1 / 1
» Towards Pattern-Based Reasoning for Friendly Ontology Debugg...
Sort
View
126
Voted
IJAIT
2008
70views more  IJAIT 2008»
15 years 6 months ago
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
Mustafa Jarrar, Stijn Heymans
189
Voted
KRMED
2008
15 years 7 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
171
Voted
ESWS
2007
Springer
16 years 16 days ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically 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á...