Sciweavers

3 search results - page 1 / 1
» Towards Pattern-Based Reasoning for Friendly Ontology Debugg...
Sort
View
IJAIT
2008
70views more  IJAIT 2008»
13 years 4 months ago
Towards Pattern-Based Reasoning for Friendly Ontology Debugging
Mustafa Jarrar, Stijn Heymans
KRMED
2008
13 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
13 years 10 months 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á...