Sciweavers

3 search results - page 1 / 1
» Orel: Database-Driven Reasoning for OWL 2 Profiles
Sort
View
DLOG
2010
13 years 1 months ago
Orel: Database-Driven Reasoning for OWL 2 Profiles
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...
Markus Krötzsch, Anees Mehdi, Sebastian Rudol...
DLOG
2009
13 years 1 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
ISEMANTICS
2010
13 years 5 months ago
Issues in expressing metadata application profiles with description logics and OWL 2
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
Dimitrios A. Koutsomitropoulos, Georgia D. Solomou