2000 character limit reached
Inference rules for RDF(S) and OWL in N3Logic (1601.02650v1)
Published 11 Jan 2016 in cs.DB, cs.AI, and cs.LO
Abstract: This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.