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.
@cite_18: HP Labs developed the Jena toolkit to make it easier to develop applications that use the semantic Web information model and languages. Jena is a Java application programming interface that is available as an open-source download from www.hpl.hp.com semweb jena-top.html.
Jena rule is a rule format used only by inference engine in the Jena framework @cite_18 . The rule language syntax is based on RDF. It uses the triple representation, which is similar to Notation3 except that a rule name can be specified in a rule. There are not any formula notation, and built-in functions are written in function terms.