ACTION-43: propose *lightweight* inference based on RDFa Vocabulary Expansion

RDFa Core 1.1 - Second Edition

10. RDFa Vocabulary Expansion
http://www.w3.org/TR/rdfa-syntax/#s_vocab_expansion

10.1.1 RDFa Vocabulary Entailment
http://www.w3.org/TR/rdfa-syntax/#s_vocab_entailment

"For the purpose of vocabulary processing, RDFa used a very restricted subset of the OWL vocabulary and is based on the RDF-Based Semantics of OWL. The RDFa Vocabulary Entailment uses the following terms:

rdf:type
rdfs:subClassOf
rdfs:subPropertyOf
owl:equivalentClass
owl:equivalentProperty

NOTE
RDFa Vocabulary Entailment considers only the entailment on individuals (i.e., not on the relationships that can be deduced on the properties or the classes themselves.)

NOTE
While the formal definition of the RDFa Entailment refers to the general OWL 2 Semantics, practical implementations may rely on a subset of the OWL 2 RL Profile’s entailment expressed in rules (section 4.3 of [OWL2-PROFILES]). The relevant rules are, using the rule identifications in section 4.3 of [OWL2-PROFILES]): prp-spo1, prp-eqp1, prp-eqp2, cax-sco, cax-eqc1, and cax-eqc2.

The entailment described in this section is the minimum useful level for RDFa. Processors may, of course, choose to follow more powerful entailment regimes, e.g., include full RDFS or OWL entailments. Using those entailments applications may perform datatype validation by checking rdfs:range of a property, or use the advanced facilities offered by, e.g., OWL’s property chains to interlink vocabularies further."

RDFa Core 1.1 - Second Edition

10. RDFa Vocabulary Expansion
http://www.w3.org/TR/rdfa-syntax/#s_vocab_expansion

10.1.1 RDFa Vocabulary Entailment
http://www.w3.org/TR/rdfa-syntax/#s_vocab_entailment

"For the purpose of vocabulary processing, RDFa used a very restricted subset of the OWL vocabulary and is based on the RDF-Based Semantics of OWL. The RDFa Vocabulary Entailment uses the following terms:

rdf:type
rdfs:subClassOf
rdfs:subPropertyOf
owl:equivalentClass
owl:equivalentProperty

NOTE
RDFa Vocabulary Entailment considers only the entailment on individuals (i.e., not on the relationships that can be deduced on the properties or the classes themselves.)

NOTE
While the formal definition of the RDFa Entailment refers to the general OWL 2 Semantics, practical implementations may rely on a subset of the OWL 2 RL Profile’s entailment expressed in rules (section 4.3 of [OWL2-PROFILES]). The relevant rules are, using the rule identifications in section 4.3 of [OWL2-PROFILES]): prp-spo1, prp-eqp1, prp-eqp2, cax-sco, cax-eqc1, and cax-eqc2.

The entailment described in this section is the minimum useful level for RDFa. Processors may, of course, choose to follow more powerful entailment regimes, e.g., include full RDFS or OWL entailments. Using those entailments applications may perform datatype validation by checking rdfs:range of a property, or use the advanced facilities offered by, e.g., OWL’s property chains to interlink vocabularies further."