This module provides various primitives for more high-level handling of
RDF models from an RDFS viewpoint. Note that there exist two approaches
for languages on top of RDF:
- Provide new predicates according to the concept of the high
level language (used in this module)
- Extend rdf/3 relation with triples implied by the high-level
semantics. This approach is taken by ClioPatria.
- rdfs_subproperty_of(+SubProperty, ?Property) is nondet
- rdfs_subproperty_of(?SubProperty, +Property) is nondet
- Query the property hierarchy.
- rdfs_subclass_of(+Class, ?Super) is nondet
- rdfs_subclass_of(?Class, +Super) is nondet
- Generate sub/super classes. rdf_reachable/3 considers the
rdfs:subPropertyOf relation as well as cycles. Note that by
definition all classes are subclass of rdfs:Resource, a case
which is dealt with by the 1st and 3th clauses :-(
According to production 2.4 "rdfs:Datatype", Each instance of
rdfs:Datatype is a subclass of rdfs:Literal.
- rdfs_individual_of(+Resource, +Class) is semidet
- rdfs_individual_of(+Resource, -Class) is nondet
- rdfs_individual_of(-Resource, +Class) is nondet
- Generate resources belonging to a class or classes a resource
belongs to. We assume everything at the `object' end of a triple
is a class. A validator should confirm this property.
rdfs_individual_of(+, -) does not exploit domain and range
properties, deriving that if
rdf(R, P, _) is present R must
satisfy the domain of P (and similar for range).
There are a few hacks:
- Any resource is an individual of rdfs:Resource
literal(_) is an individual of rdfs:Literal
- rdfs_label(+Resource, -Label)
- rdfs_label(-Resource, +Label)
- Convert between class and label. If the label is generated from
the resource the it uses both rdfs:label and its sub-properties,
but labels registered with rdfs:label are returned first.
- rdfs_label(+Resource, ?Lang, -Label) is multi
- rdfs_label(+Resource, ?Lang, +Label) is semidet
- rdfs_label(-Resource, ?Lang, ?Label) is nondet
- Resource has Label in Lang. If Resource is nonvar calls
take_label/3 which is guaranteed to succeed label.
- rdfs_ns_label(+Resource, -Label) is multi
- rdfs_ns_label(+Resource, ?Lang, -Label) is multi
- Present label with namespace indication. This predicate is
intended to provide meaningful short names applicable to
ontology maintainers. Note that this predicate is non-deterministic
if the resource has multiple rdfs:label properties
- rdfs_class_property(+Class, ?Property)
- Enumerate the properties in the domain of Class.
- rdfs_member(?Element, +Set)
- As Prolog member on sets. Operates both on attributes parsed as
parseType="Collection" as well as on Bag, Set and Alt.
- rdfs_list_to_prolog_list(+RDFSList, -PrologList)
- Convert ann RDFS list (result from parseType=Collection) into a
Prolog list of elements.
- rdfs_assert_list(+Resources, -List) is det
- rdfs_assert_list(+Resources, -List, +DB) is det
- Create an RDF list from the given Resources.
- rdfs_find(+String, +Domain, ?Properties, +Method, -Subject)
- Search all classes below Domain for a literal property with
that matches String. Method is one of
domain is defined by owl_satisfy from
Note that the rdfs:label field is handled by rdfs_label/2,
making the URI-ref fragment name the last resort to determine