Sciweavers

499 search results - page 8 / 100
» Real-World Reasoning with OWL
Sort
View
OWLED
2008
13 years 10 months ago
OWL Support for (Some) Non-Deductive Scenarios of Ontology Usage
Abstract. Applications of ontologies exist that go beyond standard deductive reasoning and rather have the character of empirical discovery in knowledge/data. We analyse the invent...
Vojtech Svátek, Miroslav Vacura, Martin Ral...
ISPA
2005
Springer
14 years 2 months ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
DLOG
2009
13 years 6 months ago
Reintroducing CEL as an OWL 2 EL Reasoner
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
Julian Mendez, Boontawee Suntisrivaraporn
OWLED
2008
13 years 10 months ago
Characterizing and Detecting Integrity Issues in OWL Instance Data
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
Jiao Tao, Li Ding, Jie Bao, Deborah L. McGuinness
ECAI
2008
Springer
13 years 10 months ago
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
Georgios Meditskos, Nick Bassiliades