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

On 03/06/2015 12:10 PM, Social Web Working Group Issue Tracker wrote:
> social-ACTION-43: propose *lightweight* inference based on RDFa Vocabulary Expansion
> 
> http://www.w3.org/Social/track/actions/43
> 
> Assigned to: Pavlik elf
> 
> 
> On product: Activity Streams 2.0
> 
> propose *lightweight* inference based on RDFa Vocabulary Expansion

associated it with ISSUE-12 Action Types Structure and Processing Model
https://www.w3.org/Social/track/issues/12

and added note:


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."