Sciweavers

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