Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

Details Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

2011-07-31

arxiv.org/abs/1108.0155v1

Computer Science

Artificial Intelligence

Scientific paper

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but to date no reasoner has been implemented for this language. Consistency and entailment checking are known to be undecidable for OWL 2 Full. We have translated a large fragment of the OWL 2 Full semantics into first-order logic, and used automated theorem proving systems to do reasoning based on this theory. The results are promising, and indicate that this approach can be applied in practice for effective OWL reasoning, beyond the capabilities of current Semantic Web reasoners. This is an extended version of a paper with the same title that has been published at CADE 2011, LNAI 6803, pp. 446-460. The extended version provides appendices with additional resources that were used in the reported evaluation.

Affiliated with

Also associated with

No associations

Rating

Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702915