Reasoning in expressive extensions of the RDF semantics

Authors:
Michael Schneider
Affiliations:
FZI Research Center for Information Technology, Karlsruhe, Germany
Venue:
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Year:
2011

Citing 3
Cited 0

On the Properties of Metamodeling in OWL1

Journal of Logic and Computation
Automated reasoning: past story and new trends

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Reasoning support for expressive ontology languages using a theorem prover

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The research proposed here deals with reasoning in expressive semantic extensions of the RDF Semantics specification, up to the level of OWL 2 Full. The work aims to conduct an in-depth study of the distinctive features and the degree of implementability of OWL Full reasoning. This paper describes the core problem, presents the proposed approach, reports on initial results, and lists planned future tasks.