What represents axioms like <rdf:_i> <rdf:type> <rdf:property> in ruleset? Why are they going from i=1 to i=100?(referencing to ruleset used in OWLIM .pie files) Why are they in RDFS rulesets and also OWL2 DL ruleset/ what's the relationship?
Why are they connected in ContainerMembershipProperty? <rdf:_1> <rdf:type> <rdfs:containermembershipproperty> <rdf:_1> <rdfs:domain> <rdfs:resource> <rdf:_1> <rdfs:range> <rdfs:resource>
And what is purpose of axioms in rulesets? What they represets for reasoner? What means they have to be true?(It means that all axioms HAVE TO exist in reasoned ontology?) What if ontology contains axioms which were not specified in rulesets? They won't be reasoned? Will be even reasoning possible?
I know there is too many question for one topic, but somehow they seems related to me. Thank you for all answers.
asked 06 Jan '12, 05:43
Having 100 of these is a compromise, in a rule-based implementation, for the representation of these axiomatic properties in RDF - see:
answered 06 Jan '12, 06:36
RDF(S)/OWL axiomatic statements give premises which always hold for the given semantics; typically they give characteristics of the core language terms described in the language itself; they are trivially always true. Not considering them may lead to missed inferences, and generally incomplete reasoning.
Axomatic statements are often given as part of the ruleset, and form part of the "a-priori" knowledge of the reasoner. User-defined axioms (like in an ontology) can then be passed.
answered 06 Jan '12, 10:22