System and method for efficient reasoning using view in dbms-based rdf triple store

A Database Management System (DBMS)-based reasoning system, comprising:

• a triple input unit for receiving a Resource Description Framework (RDF) triple;
• a triple examination unit for examining whether the received triple conforms to Resource Description Framework Schema (RDFS) subsumption relation entailment rules or Web Ontology Language (OWL) inverse relation rules;
• a view creation unit for omitting a reasoning procedure on the received triple and creating a table view when the triple conforms to the RDFS subsumption relation entailment rules or the OWL inverse relation rules as a result of the examination;
• and
• a triple storage unit for storing the received triple,
• wherein the RDFS subsumption relation entailment rules include rule rdfs7 or rdsf9, the rule rdfs7 indicates (<?x, ?a, ?y><?a, rdfs:subPropertyOf, ?b><?x, ?b, ?y>), the rule rdfs9 indicates (<?x, rdfs:subClassOf, ?y><?a, rdf:type, ?x><?a, rdf:type, ?y>), and the OWL inverse relation rules indicate (<?a, owl:inverseOf, ?b><?x, ?a, ?y><?y, ?b, ?x>).

A Database Management System (DBMS)-based reasoning method, comprising the steps of:

• receiving a Resource Description Framework (RDF) triple;
• examining whether the received triple conforms to Resource Description Framework Schema (RDFS) subsumption relation entailment rules or Web Ontology Language (OWL) inverse relation rules;
• and
• creating a table view when the received triple conforms to the RDFS subsumption relation entailment rules or the OWL inverse relation rules as a result of the examination.

A Database Management System (DBMS)-based reasoning method, comprising the steps of:

• receiving a Resource Description Framework (RDF) triple;
• examining whether the received triple conforms to Resource Description Framework Schema (RDFS) subsumption relation entailment rules or Web Ontology Language (OWL) inverse relation rules;
• and
• creating a table view when the received triple conforms to the RDFS subsumption relation entailment rules or the OWL inverse relation rules as a result of the examination,
• wherein the RDFS subsumption relation entailment rules include rule rdfs7 or rdsf9, the rule rdfs7 indicates (<?x, ?a, ?y><?a, rdfs:subPropertyOf, ?b><?x, ?b, ?y>), the rule rdfs9 indicates (<?x, rdfs:subClassOf, ?y><?a, rdf:type, ?x><?a, rdf:type, ?y>), and the OWL inverse relation rules indicate (<?a, owl:inverseOf, ?b><?x, ?a, ?y><?y, ?b, ?x>).