Languages and profiles: choose the tool for the question

    Use established languages for distinct jobs: describing things, organising choices, checking deliveries and preserving evidence. Then state exactly which features the method selects and which the candidate actually uses.

    Technical modelling guide

    Method basisUpdated

    A partly closed teal tool case holds a wider collection, while a pen, contour template and drawing dividers are selected outside for distinct modelling jobs.

    OPDA uses RDF 1.2, SPARQL 1.2 and SHACL 1.2

    This is the normative language baseline in OPDA ODR-0043. RDF 1.2 describes the graph, SPARQL 1.2 queries it and SHACL 1.2 Core checks its declared constraints. Each package selects and tests a bounded feature profile; that boundary is not a switch to older standards or a claim of full-family implementation.

    Start with a question, not a namespace

    At Harbour Court, “what was inspected?”, “what does this finding mean?” and “does this submitted report contain the required date?” are different questions. A graph can connect their answers without making the building, a classification and a delivery rule the same kind of thing. Choosing a language means choosing the commitments appropriate to each question.

    In this fictional case, the building at 14 Orchard Road contains Flat 1 and Flat 2. Its title record and address descriptions have separate identities. An inspection occurs on 12 August 2026; report v1 is issued on 14 August and corrected by report v2 on 20 August. The correction does not create another inspection. These are teaching examples, not approved property definitions, legal advice or claims about the implemented candidate.

    A profile makes the selection precise: which terms and features are permitted, for which purpose, at which version, with which processing assumptions and evidence. It is neither a list of impressive standards nor a claim to implement everything those standards can express.

    Read three statuses independently

    External specification maturity
    What the specification's owner calls the exact publication: for example a Recommendation, Working Draft or community report. This does not decide OPDA adoption.
    Selected OPDA profile
    What the recorded decision requires, permits, defers or blocks. A binding method can still have implementation work outstanding.
    Actual candidate implementation
    What a named package emits and what its recorded checks exercise. A successful parser run is not an entailment, full-profile or semantic-correctness receipt.

    This page uses profile 0.5-development, with governance reconciliation dated . The register's external-publication checks remain dated . This chapter does not refresh those checks or change Property Pack 0.1's pinned snapshots.

    The required method below follows OPDA’s adopted ODR-0046 framework and concerns 1, 2, 5, 7, 8, 9, 10 and 11. The linked local decisions govern their scoped rules and amendments. Upstream revision 67174057e6384b79d0b28b7736fe70a66e112895 is adoption provenance only. The standards and decisions chapter explains the local authority and scope.

    Document both property sides; validate separately For the illustrative referenceCode property, subject-side inclusion hints and a truthful value-side RDFS range use different permitted families; SHACL requirements remain a separate contract. SUBJECTS VALUES referenceCodeIllustrative datatype propertyDefinition and kind remain explicit Subject side · inclusion hintsschema:domainIncludesInspection · ReportVersionIntended alternatives, not entailment Value side · truthful RDFSrdfs:range xsd:stringHolds for every referenceCode valueEntailment, not a validation rule Select one complete mechanism family on each side One truthful RDFS IRI · OR useful inclusion hints · OR a governed waiver Never mix families on one side. Subject and value sides may choose different families. SHACL owns exchange requirementsRequired types · cardinalities · datatypes · conditions · per-target rulesA definition or SHACL path never substitutes for two-sided applicability. RDFS meaning, applicability hints and validation requirements are distinct contracts.
    Document both property sides; validate separately For the illustrative referenceCode property, subject-side inclusion hints and a truthful value-side RDFS range use different permitted families; SHACL requirements remain a separate contract.
    1. The example property referenceCode is an illustrative datatype property. Its definition and property kind are explicit modelling commitments, not a validation result.
    2. Its subject side uses schema:domainIncludes for intended alternatives Inspection and ReportVersion. Those hints do not entail that a subject has either class, or both classes.
    3. Its value side uses one truthful rdfs:range IRI, xsd:string, which must hold for every value. That is an RDFS entailment, not a field-validation rule.
    4. Every governed property must document both sides. Select exactly one complete mechanism family per side: one truthful single RDFS IRI, useful inclusion hints, or a governed waiver. The two sides may select different families; never mix families on a single side.
    5. Subject mechanisms use rdfs:domain or schema:domainIncludes; value mechanisms use rdfs:range or schema:rangeIncludes. A waiver must identify its property and side, an accepted local ODR and waiver code, a non-blank English rationale and a review trigger.
    6. SHACL separately owns required types, cardinalities, datatypes, conditional branches and per-target differences. A definition, SHACL path or target never substitutes for property-applicability documentation.

    RDF 1.2 and Turtle: connect identified things

    RDF statements connect a subject, a relationship and an object. The object can be another identified resource or a literal value such as a date. In the illustration, https://example.org/harbour-court/report-v2 identifies the corrected report, while https://example.org/harbour-court/inspection identifies the event it describes. Reusing those identifiers across records makes the connection explicit; using the same address text does not.

    Turtle is a way to write an RDF graph. XML Schema datatypes give literal values a declared interpretation, such as a date or decimal. Neither syntax nor datatype selection settles which real thing a record describes. Nor does putting assertions in a named graph establish their authority or semantic owner. Those are decisions to record through identity distinctions and context agreements.

    RDF 1.2 Concepts explains the graph model. The register below separately identifies the selected RDF 1.2 profile and candidate syntax pins: a general explanation of RDF is not a new feature-conformance claim.

    RDFS and OWL: make meaning commitments carefully

    A class describes a set of things; a property describes a relationship or value. Declaring one class a subclass of another says that every member of the first is also a member of the second. It is not merely a way to place a heading in a menu. Calling Harbour Court a building does not make its title record a building, even if both records display “14 Orchard Road”.

    RDFS domain and range also make substantive claims. If a property's domain is Inspection, using that property entails that its subject is an Inspection. Two domains mean membership in both classes, not either one. The same all-declarations consequence applies to ranges. These are not lists of allowed form fields. RDFS defines these semantics; disabling a local reasoner does not remove them from exported statements.

    Choose exactly one applicability family on each side

    OPDA ODR-0037, including its 28 and 30 August 2026 amendments, requires coverage of both the subject side and the value side of every governed property. Decide each side separately. Each must use exactly one of the following families:

    1. One universally true RDFS IRI. Use a single domain or range commitment only when its typing consequence is always warranted.
    2. One or more Schema.org inclusion hints. Use schema:domainIncludes or schema:rangeIncludes to document intended applicability without asserting those RDFS type consequences. Hints do not enforce constraints.
    3. An explicit governed waiver. Record the exception under an owning ODR. Leaving the side unexplained is not a waiver.

    Do not mix these families on the same side. SHACL shapes and explanatory prose do not, by themselves, discharge the applicability contract. A property's subject and value sides can legitimately choose different families when their evidence warrants it.

    Use a bounded OWL profile, not unrestricted reasoning

    OWL supplies formal axioms, but OPDA ODR-0043 deliberately excludes restrictions, Boolean class constructors, cardinality restrictions, closed OWL enumerations and keys from the documentation profile. Their delivery-validation requirements belong in SHACL. Under open-world semantics, missing information is not automatically false.

    ODR-0044 selects a Safe Group of processing features: class and property hierarchies, inverse links, transitivity, symmetry and disjointness checks. Domain/range inference, identity merging and equivalence propagation are outside that local runtime ruleset, not outside the standards' semantics. This selection is neither full OWL reasoning nor evidence that every candidate already runs it. See classes and relationships and the OWL structural specification.

    SKOS: distinguish a choice from its label

    A finding might use a reviewed classification such as “urgent attention”. The classification needs a definition and scope, not just display text. SKOS gives concepts stable identifiers, preferred and alternative labels, notes and membership in concept schemes. A label can change without silently replacing the concept or the thing being classified.

    Three relationships must remain distinct: Flat 1 is contained in a building; a particular thing may belong to a class; a controlled concept may have a broader concept. skos:broader does not mean physical containment or rdfs:subClassOf. It is not itself transitive; skos:broaderTransitive supports ancestry through the concept hierarchy. A SKOS concept is not automatically an OWL class.

    Mapping predicates are consequential too. skos:exactMatch is transitive; skos:closeMatch is not. An exact match between concepts is not individual identity through owl:sameAs or OWL class equivalence. Calling SKOS “annotation” must not imply that its relations have no semantics. Compare the SKOS Reference with the worked names and choices chapter.

    For the authoring decision, use vocabularies and classification: distinguish closed domain outcomes, open taxonomies, growing resource populations and infrastructure facets, then select their representation and validation together.

    SHACL 1.2 and SPARQL 1.2: check a delivery and ask a question

    A completed inspection delivery might require an inspection date and a report reference, if participants agree that rule. A draft delivery might allow them to be missing. SHACL can express supported datatype, class, count and pattern requirements in separate delivery shapes without redefining what an inspection is. The supplied graph, supplied shapes, supported features and processing assumptions must all be named.

    A conforming report record does not prove that Harbour Court is safe, the inspection happened or the author was authorised. It means the supplied data met the supplied constraints under the declared conditions. Evidence and human review answer different questions. SHACL 1.2 Core does not require full RDFS inference; any inference expectation must be explicit.

    SPARQL turns a reviewable question into graph patterns. “Is a date recorded for this inspection?” can become an ASK query, which returns a boolean about the matched pattern. “Which report versions describe it?” calls for a different query. Neither query establishes the truth of the underlying assertions. The language supports more query forms than Property Pack 0.1 currently uses; see the SPARQL 1.2 Query specification.

    A derived answer needs its own execution evidence

    OPDA ODR-0044 selects SHACL-AF TripleRule and SPARQLRule features for derivation, with rules kept separate from validation constraints. Asserted and derived statements must remain distinguishable through graph separation or provenance. Passing a shapes check does not prove that a rule executed, and selecting these rules does not adopt every SHACL-AF function or target.

    At Harbour Court, do not derive a new inspection merely because a new report version exists. That would manufacture an event from a document change. Review the intended rule and its counterexample before implementation. The meaning, checks and delivery chapter separates these receipts in detail.

    Metadata, provenance and time: make the answer inspectable

    “The report has a date” is too vague to support a buyer's question. In the illustration, 12 August is the inspection event date; 14 August is report v1's issue date; 20 August is report v2's correction date. When a claim is valid and when a receiving system records it are further questions. One generic timestamp must not quietly stand for all of them.

    Dublin Core Terms — describe the resource
    The applicable concern and package profile determine the term list, not the fact that the namespace is familiar. The bounded Category 5 administrative profile selects title, creator, issued, modified and identifier, with distinct severities and a conditional subject term; it supplements the classification facets.
    PROV-O — explain origins and responsibility
    Connect entities, activities and agents through the selected attribution and derivation profile. Report v2's relationship to its source is different from the inspection's occurrence. Attribution identifies responsibility; it does not prove accuracy.
    OWL-Time — distinguish temporal questions
    Use the selected instants, intervals and temporal relationships where needed. Keep valid time, event time and recorded time distinct instead of treating a document revision as a new event.
    DCAT and DQV — describe discovery and quality
    A catalogue can describe a dataset, distribution or service; a quality record can state a measure and its purpose. Neither a catalogue entry nor a quality score supplies the domain meaning of “inspection”. These are candidate concerns, not claims of current Property Pack use.

    OPDA ODR-0052 and ODR-0053 require bounded canonical-IRI PROV-O and OWL-Time profiles, without owl:imports. Their selection does not mean they have been implemented in Property Pack 0.1. Follow evidence and time for the worked distinction.

    SSSOM: preserve the argument behind a correspondence

    A mapping is another claim requiring evidence. The selected contract retains the SKOS statement and attaches SSSOM 1.0 metadata on a named RDF 1.2 reifier. Pin both endpoint sources and their versions, the mapping-set release, date and matching-process justification. SEMAPV supplies the matching-process values; that process classification does not replace the semantic argument. Confidence is optional.

    This applies to internal cross-context as well as external vocabulary mappings under OPDA ODR-0051, ODR-0056, ODR-0058 and ODR-0059 R11. The RDF 1.2 triple-term layer requires its own feature evidence; it does not expand the older Basic-compatible candidate claim. Read mapping records for the exact scoped profile, amendment exclusions and illustrative syntax.

    Privacy classification is not an access-control decision

    A report may contain personal information. Describing its sensitivity, deciding who may use it and enforcing that decision are three different responsibilities. Linking the report into a model does not make it public, and a classification label does not grant permission to read it.

    OPDA ODR-0054 uses local classification annotations with reviewed mappings to DPV concepts. It does not impose DPV's processing-activity semantics on domain classes. ODR-0057 conditionally selects the ODRL 2.2 Common Vocabulary through the DPV Profile of ODRL for retention, dynamic-state access and cross-border policies. Policies are human-curated; no automatic policy generation or enforcement is claimed.

    ORG addresses organisational structures and memberships when those are the relevant relationships; it is not a substitute for every kind of role. FIBO, GeoSPARQL, credentials and DID references likewise need an actual use case and a selected term or feature boundary before use. Familiarity with their names is not selection evidence. Continue with sensitivity and policy; the register below states each technology's disposition.

    Reuse, reference, map or mint — decide the relationship

    Once the question is clear, decide how the model relates to the external source. These are the profile's four allowed relationship mechanisms, not four stages that every term must pass through.

    1. Reuse the exact governed term when its meaning fits. Record the selected version, term list, licence and governance fit, and feature evidence. Reusing a canonical PROV-O term does not require importing the entire ontology.
    2. Reference a contract or method when vocabulary adoption is not the job. A Turtle syntax profile or an analytical method can guide implementation without contributing a new property-domain term. Name the edition, question addressed and explicit conformance boundary.
    3. Map when distinct meanings need a reviewed correspondence. Preserve both meanings and select the relation actually warranted. Record source identities and versions, relation strength, process and semantic justification, mapping date and release. Similar labels are not enough.
    4. Mint only for a reviewed gap. A new locally governed identifier needs a defined meaning, semantic owner and source evidence. ODR-0065 now selects the OPDA namespace policy; that selection does not approve an individual term or migrate the candidate. Meaning and minting still require the responsible review. Machine-proposed candidate IRIs are not adopted terms.

    owl:imports is not a citation: it brings the imported ontology's axioms through its import closure into scope. A prefix declaration is not term use, and term use is not full-vocabulary conformance. Record the actual act and its consequences.

    Analytical methods do not require foundational inheritance

    UFO-informed identity, role, phase and introducing-class analysis, together with OntoClean's rigidity, identity, dependence and unity checks, are selected disciplines. Their OPDA decision basis is ODR-0041 / ODR-0042, ODR-0061 / ODR-0062 and ODR-0063. They guide whether a hierarchy makes sense; ODR-0063 explicitly prohibits subsuming domain classes under external upper-ontology classes within the selected scope. This is analytical use, not foundational inheritance.

    gUFO is a separate OWL implementation, not selected simply because UFO analysis is selected. DOLCE remains historical comparison evidence. Property Pack 0.1 has no separate analytical-method conformance receipt. The new foundations and modelling judgement chapter explains the four axes, their counterexamples and what the selected checks can establish. Identity through roles and change then applies the local encoding policy.

    What Property Pack 0.1 actually exercises

    The existing profile records Property Pack 0.1 as the current implementation example, still machine-proposed. Its small surface uses RDF 1.2 Basic-compatible Turtle, RDFS and bounded OWL vocabulary, XML Schema datatypes, SKOS, bounded SHACL 1.2 Core, limited Dublin Core Terms and four ASK/basic-graph-pattern queries tested only in ARQ 6.1.0. This is the recorded baseline, not a fresh execution result from this chapter.

    Every candidate graph passes recorded Jena RIOT parsing. The complete shapes graph is exercised against one conforming and one non-conforming fixture. Those facts do not establish per-feature, cross-processor, entailment, full-profile or semantic-correctness conformance. Exact candidate snapshots remain pinned until a deliberate update supplies new evidence.

    Recorded Property Pack 0.1 feature boundary — not the full selected method
    TechnologyIncluded terms or featuresWhat is not established
    RDFtype, written as a in Turtle.No RDF feature claim beyond the declared Basic-compatible surface.
    RDFSlabel, subClassOf, domain, range.No entailment receipt.
    OWLOntology, Class, ObjectProperty, DatatypeProperty, AnnotationProperty, versionInfo.No OWL profile or reasoner receipt; sameAs occurs only in a negative query.
    XSDstring, integer, anyURI, boolean, date, dateTime, decimal.No other datatype declared.
    SKOSConceptScheme, Concept, prefLabel, definition, inScheme, notation.No hierarchy, mapping, integrity or SKOS-XL claim.
    SHACLNodeShape, targetClass, property, path, datatype, class, minCount, maxCount, pattern.No closed shapes, value lists, Union, AF or SPARQL constraints.
    SPARQLFour ASK queries using basic graph patterns.No other query form or feature; no cross-engine portability demonstration.
    Dublin Core Termsdescription, source, PhysicalResource.No whole-vocabulary adoption.

    PROV-O has a prefix declaration only: no PROV term is emitted. There is no recorded Property Pack use of DCAT, DQV, OWL-Time, DPV, ODRL, SSSOM, FIBO, GeoSPARQL, Schema.org, Verifiable Credentials, DID, ORG, gUFO or DASH. Cross-context mappings remain empty pending working-group evidence. An empty set does not suspend the required mapping contract for future internal mappings.

    The package emits RDF/OWL and SKOS graphs, SHACL shapes, JSON registers and model views, HTML documentation, ASK queries and a validation report. Possible future forms, APIs, JSON Schema, JSON-LD, PDF and Markdown projections are not all implemented outputs. Each projection needs its own purpose, package version and validation in the outputs register; “projection” is not a fifth standards relationship mechanism.

    The complete standards register

    All 32 records are retained below, including deferred, blocked and historical entries. Read a record to compare the selected boundary with external maturity and actual implementation. The external sources were last checked on ; the later governance reconciliation is not a new publication check.

    Stable standard-* anchors identify individual records. A link to an external specification identifies its source, not a claim to implement its latest version.

    Make the next proposal inspectable

    Bring one question, one ordinary case and one counterexample. Name the resource being described, the intended meaning, the language job and the precise feature needed. Then point to the selected profile and state what implementation evidence exists or is still missing. This is more useful than adding a namespace without explaining its responsibility.

    A practitioner can supply that argument without writing RDF. Use review a definition to frame it in ordinary language, or follow from question to candidate for the technical handoff. A standards record supports that review; it does not replace it.

    Comments

    Loading comments…