################################################################# # VSON — the three ontology documents in one file. # # DERIVED. Generated by scripts/build_site.py by concatenating the tracked # sources listed below; not tracked, not edited, and not a source. Every byte # of it comes from one of those files. # # This is the import closure of , whose # header imports the other two — offered here for a consumer that cannot # follow an owl:imports, or would rather make one request than three. # # It is a DISTRIBUTION, not a name. No IRI is minted for it and none is # promised to resolve to it: cite the three canonical names below, which are # what the terms in this file are defined by (rdfs:isDefinedBy on every term # says which). Each section keeps its own owl:Ontology header, its own # prologue and its own comments, exactly as that document ships. # # Sources, in order: # https://w3id.org/vson/v1/ontology ontology/vso.ttl # https://w3id.org/vson/v1/rcc8 ontology/rcc8.ttl # https://w3id.org/vson/v1/allen ontology/allen.ttl ################################################################# ################################################################# # https://w3id.org/vson/v1/ontology # from ontology/vso.ttl ################################################################# @prefix vso: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix xsd: . @prefix dc: . @prefix vann: . @prefix vs: . a owl:Ontology ; rdfs:label "Visual Scene Ontology (VSO)"@en ; rdfs:comment "TBox for VSON v1.2: the entity taxonomy, the frame layer, the reification node classes, and the closed value vocabularies the SHACL shapes validate against."@en ; dc:title "Visual Scene Ontology (VSO) v1.2" ; dc:description "OWL 2 RL-checkable TBox; eight bridge properties are intentionally untyped rdf:Property to admit mixed literal/IRI/quoted-triple objects, placing the full graph outside OWL 2 DL. DOLCE-inspired. Companion to VSV vocabulary and VSON-S shapes." ; dc:creator "yamancan" ; dc:license ; dc:modified "2026-07-31"^^xsd:date ; # Publishing metadata a vocabulary registry and a citation tool look for. # The dates are this repository's own record, not estimates: dc:created is # the first commit of this file (2026-05-02, `git log --reverse -- # ontology/vso.ttl`), and dc:issued is the release that published the 1.2 # vocabulary (tag v1.2.0, 2026-07-31) — the same day as dc:modified, # because 1.2 has not been amended since. dc:publisher is a literal for the # same reason dc:creator is: this project has one maintainer and no # organization behind it, and an invented publisher IRI would be a name # nothing resolves. dc:created "2026-05-02"^^xsd:date ; dc:issued "2026-07-31"^^xsd:date ; dc:publisher "yamancan" ; # Every field below is read out of CITATION.cff, the machine-readable # citation this repository ships; tests/test_ontology_docs.py compares the # two and fails when a release bumps one and forgets the other. It cites # the SOFTWARE RELEASE (1.3.0), not the vocabulary version above (1.2) — # docs/vson.md §8.1 is why those are different numbers and what each one # claims. There is no DOI: nothing has been deposited anywhere, and citing # an identifier that does not exist would be worse than citing none. dc:bibliographicCitation "yamancan (2026). Visual Scene Ontology Notation (VSON), release 1.3.0. https://github.com/yamancan/visual-scene-ontology (CITATION.cff)" ; owl:versionInfo "1.2" ; # The versionIRI NAMES the 1.2 state of this vocabulary. It is not promised # to dereference, and does not: verified 2026-07-31, a GET returns 302 to # the landing page, because the w3id rule for /vson/ routes the five v1 # namespace documents explicitly and sends every other path there. Making # it resolve would take a rule this project cannot merge alone plus a # second, frozen copy of this file — a new drift surface. docs/vson.md §8.1 # records the choice; only the v1/ names carry a dereference promise. owl:versionIRI ; # LEGACY IRI — deliberately NOT migrated to w3id.org. The v1.1.1 release # declared exactly this versionIRI, under the project's earlier, # never-registered host (git tag v1.1.1 is the record). Rewriting it to # w3id.org would assert a name that release never carried. It does not # dereference and is not meant to. This is the one legacy-host IRI # allowlisted outside the historical specification documents. owl:priorVersion ; # The two companion documents this vocabulary's value spaces live in. # `vso:rcc` takes the eight `rcc:` individuals (§5.7) and §5.9's temporal # edges ARE the thirteen `allen:` properties — so a consumer that parses # this document alone holds a vocabulary whose values are undefined. # Measured 2026-08-01, rdflib 7.x: an rdflib parse of this file alone # yields 0 IRIs in either companion namespace, in any triple position. # owl:imports is the standard way to say the closure is three documents, # and both names dereference (§5.1, `make live-check`), so a tool that # follows imports from the canonical name gets all three. # # Nothing in this repository's gate matrix follows them, and none of it # goes to the network: rdflib does not resolve owl:imports at all, pyshacl # only under do_owl_imports=True (never set here), and owlrl not at all. # Every gate keeps loading the three files from the checkout. The triples # are for consumers; site/v1/vson-full.ttl serves the same closure in one # fetch for a consumer that cannot follow an import. # # Annotation-level under §8.1: it declares no term and moves no IRI, so # owl:versionInfo stays at 1.2. owl:imports , ; # The prefix this vocabulary ASKS FOR — what a registry, a term browser or # a generated SPARQL header should bind. It is "vson", not "vso": "vso" is # Martin Hepp's Vehicle Sales Ontology, , listed # in LOV with versions back to 2010-10-02. Publishing "vso" would ask every # consumer to rebind a prefix a decade-old vocabulary already publishes, # and a mixed graph could not bind both. # # Nothing else moves. The namespace IRI below is byte-identical, no term # IRI changes, and `@prefix vso:` stays the binding every Turtle document # in this repository writes — a prefix is an abbreviation the parser # expands away, so the two coexist by construction. # tests/test_prefix_binding.py proves it over the whole corpus; # docs/vson.md §5.1 records the choice; publish/registry/prefix-cc.json # holds the drafted (unfiled) registration. vann:preferredNamespacePrefix "vson" ; vann:preferredNamespaceUri "https://w3id.org/vson/v1/ontology#" . ################################################################# # Profile status — read this before quoting a profile name # # Everything in this file is expressible in OWL 2 RL, and tools/owlrl_check.py # materializes the OWL 2 RL closure of (this ontology + a document) to catch # disjointness and distinctness clashes. That is the "RL-checkable" claim in # dc:description, and it is the only profile claim made. # # It is NOT a claim that a VSON document is an OWL 2 DL ontology. Eight # properties are declared as bare `a rdf:Property` — neither owl:ObjectProperty # nor owl:DatatypeProperty — because each one bridges object kinds that OWL 2 # keeps apart (a property may not be both object- and datatype-valued, and # quoted triples are outside OWL 2 altogether): # # vso:value literal OR IRI. The :alice Quality bundle in # examples/throne_room.ttl carries a string ("joyful"), # an integer (30) and an IRI (:queen) as values of three # Qualities on one entity; typing the property either way # would outlaw one of the three. # vso:class IRI when the Penman transpiler compiles a bareword; # xsd:string literals are equally conformant. # vso:time temporal grounding (the thematic-role table in # docs/vson.md): an interval or event IRI, or a literal # time expression. No shipped example uses it yet. # vso:manner bareword adverbial. The reference transpiler emits it # as xsd:string (role_value_as_string in # tools/penman/routing-tables.json); left untyped so an # IRI-valued manner from another producer is not a # declaration clash. # vso:proposition RDF-star quoted triple OR a vso:Annotation node (§18). # vso:negatedStatement same dual form. # vso:qDomain same dual form. # vso:scope same dual form. # # Consequence: a graph that uses any of the eight is outside OWL 2 DL, so it # must not be described as DL- or EL-conformant. The RL gate still applies, # because OWL 2 RL is specified as a rule set over arbitrary RDF graphs rather # than over a typed DL ontology. ################################################################# ################################################################# # 1. Top-level taxonomy ################################################################# vso:Entity a owl:Class ; rdfs:label "Entity"@en ; rdfs:comment "Top of the VSO entity taxonomy."@en . vso:Endurant a owl:Class ; rdfs:subClassOf vso:Entity ; rdfs:label "Endurant"@en ; rdfs:comment "Persists through time (DOLCE)."@en . vso:Perdurant a owl:Class ; rdfs:subClassOf vso:Entity ; rdfs:label "Perdurant"@en ; rdfs:comment "Occurs in time (DOLCE)."@en . vso:Quality a owl:Class ; rdfs:subClassOf vso:Entity ; rdfs:label "Quality"@en ; rdfs:comment "A property bearer (color, mood, weight)."@en . vso:Region a owl:Class ; rdfs:subClassOf vso:Entity ; rdfs:label "Region"@en ; rdfs:comment "A space or interval (positions, times, zones)."@en . # Endurants vso:PhysicalObject a owl:Class ; rdfs:subClassOf vso:Endurant ; rdfs:label "PhysicalObject"@en ; rdfs:comment "A bounded, countable material thing: person, animal, artifact, plant."@en . vso:Aggregate a owl:Class ; rdfs:subClassOf vso:Endurant ; rdfs:label "Aggregate"@en ; rdfs:comment "Crowd, swarm, forest."@en . vso:Substance a owl:Class ; rdfs:subClassOf vso:Endurant ; rdfs:label "Substance"@en ; rdfs:comment "Mass nouns: water, smoke, blood."@en . # Perdurants vso:Event a owl:Class ; rdfs:subClassOf vso:Perdurant ; rdfs:label "Event"@en ; rdfs:comment "Punctual / completable occurrence."@en . vso:Process a owl:Class ; rdfs:subClassOf vso:Perdurant ; rdfs:label "Process"@en ; rdfs:comment "Durative occurrence."@en . vso:Stative a owl:Class ; rdfs:subClassOf vso:Perdurant ; rdfs:label "Stative"@en ; rdfs:comment "Gaze, hold, wear, believe — static condition."@en . # Endurants/Perdurants are disjoint (DOLCE) [] a owl:AllDisjointClasses ; owl:members ( vso:Endurant vso:Perdurant vso:Quality vso:Region ) . # The three Perdurant subtypes are pairwise disjoint: an occurrence is punctual # (Event), durative (Process), or static (Stative). The aspectual distinction is # exclusive, so a node typed into two of them is an error the owl-consistency # gate should report rather than silently accept. [] a owl:AllDisjointClasses ; owl:members ( vso:Event vso:Process vso:Stative ) . ################################################################# # 2. Frame layer (perspectival; NOT an Entity) ################################################################# vso:Frame a owl:Class ; rdfs:label "Frame"@en ; rdfs:comment "Perspectival or organizational layer; not part of the depicted world."@en . vso:SceneContext a owl:Class ; rdfs:subClassOf vso:Frame ; rdfs:label "SceneContext"@en ; rdfs:comment "Setting of the scene: venue, atmosphere, time of day, weather."@en . vso:VisualStyle a owl:Class ; rdfs:subClassOf vso:Frame ; rdfs:label "VisualStyle"@en ; rdfs:comment "How the scene is rendered: aesthetic, palette, medium."@en . vso:CameraView a owl:Class ; rdfs:subClassOf vso:Frame ; rdfs:label "CameraView"@en ; rdfs:comment "The vantage point the scene is seen from; the viewer a directional SpatialFact is relative to."@en . vso:Composition a owl:Class ; rdfs:subClassOf vso:Frame ; rdfs:label "Composition"@en ; rdfs:comment "Mereological root for a scene."@en . vso:Persona a owl:Class ; rdfs:subClassOf vso:Frame ; rdfs:label "Persona"@en ; rdfs:comment "Cross-document identity carrier. Links scene Entities (via vso:embodies) to stable identity invariants (via vso:hasInvariant). Persona IRIs MAY be shared across multiple VSON documents."@en . # Frame is disjoint from Entity (the world ≠ the lens) vso:Frame owl:disjointWith vso:Entity . # The five Frame subtypes are pairwise disjoint: a node is a camera, or a style, # or a context, or the composition root, or a persona — never two at once. # Several of them are also reachable by an edge whose rdfs:range names the # subtype (vso:viewedBy → CameraView, vso:rendersAs → VisualStyle, vso:embodies # → Persona), so without this axiom a node reached by two such edges would # silently acquire both types instead of raising an OWL 2 RL clash. [] a owl:AllDisjointClasses ; owl:members ( vso:SceneContext vso:VisualStyle vso:CameraView vso:Composition vso:Persona ) . ################################################################# # 3. Reification node classes ################################################################# vso:SpatialFact a owl:Class ; rdfs:label "SpatialFact"@en ; rdfs:comment "Reified spatial relation between figure and ground; topological (RCC-8) and/or directional (with mandatory viewer) and/or proximal."@en . vso:Negation a owl:Class ; rdfs:label "Negation"@en ; rdfs:comment "Reified negation of an RDF-star quoted triple."@en . vso:Quantification a owl:Class ; rdfs:label "Quantification"@en ; rdfs:comment "Reified quantified statement: a quantifier lexeme, a bound variable, an optional domain restriction, and a scope."@en . vso:BeliefState a owl:Class ; rdfs:label "BeliefState"@en ; rdfs:comment "Reified propositional attitude."@en . # The reification classes are pairwise disjoint, and jointly disjoint from the # Frame layer. (vso:Annotation is declared in §18; the axiom lives here because # it constrains this family.) Without this, the owl-consistency gate cannot see # a node reified as two incompatible kinds at once. # # vso:Entity is deliberately NOT a member. vso:depicts has rdfs:range vso:Entity # and the shipped corpus legitimately attaches reification nodes with it # (examples/throne_room.ttl depicts two SpatialFacts; gallery 13/14/15 depict a # Negation / BeliefState / Quantification). vss:DepictsEntityShape already # records that as a migrating convention at sh:Warning severity; promoting it to # an OWL disjointness would make those conformant documents inconsistent. [] a owl:AllDisjointClasses ; owl:members ( vso:SpatialFact vso:Negation vso:Quantification vso:BeliefState vso:Annotation vso:Frame ) . ################################################################# # 4. Trait individuals (orthogonal axes) ################################################################# vso:IndividuationKind a owl:Class ; rdfs:label "IndividuationKind"@en ; rdfs:comment "Closed axis of individuation: Generic | Named | Kind | Skolem."@en . vso:Generic a vso:IndividuationKind ; rdfs:label "Generic"@en ; rdfs:comment "An unnamed instance of a class — 'a knight', not a particular knight tracked across scenes."@en . vso:Named a vso:IndividuationKind ; rdfs:label "Named"@en ; rdfs:comment "A specific individual bearing a proper name (Alice, Excalibur)."@en . vso:Kind a vso:IndividuationKind ; rdfs:label "Kind"@en ; rdfs:comment "The class itself rather than any instance of it — reference to horses as a kind."@en . vso:Skolem a vso:IndividuationKind ; rdfs:label "Skolem"@en ; rdfs:comment "A particular but unnamed individual, tracked within the document by a minted handle."@en . vso:AnimacyKind a owl:Class ; rdfs:label "AnimacyKind"@en ; rdfs:comment "Closed axis of animacy: Agentive | Inert."@en . vso:Agentive a vso:AnimacyKind ; rdfs:label "Agentive"@en ; rdfs:comment "An agent — human, animal, or animated mechanism — capable of initiating action."@en . vso:Inert a vso:AnimacyKind ; rdfs:label "Inert"@en ; rdfs:comment "Inanimate matter: furniture, vegetation, weapons at rest."@en . vso:CountabilityKind a owl:Class ; rdfs:label "CountabilityKind"@en ; rdfs:comment "Closed axis of countability: Count | Mass | Collective."@en . vso:Count a vso:CountabilityKind ; rdfs:label "Count"@en ; rdfs:comment "An individuable thing that can be counted one by one."@en . vso:Mass a vso:CountabilityKind ; rdfs:label "Mass"@en ; rdfs:comment "An uncountable substance measured rather than counted; the countability of vso:Substance."@en . vso:Collective a vso:CountabilityKind ; rdfs:label "Collective"@en ; rdfs:comment "A plurality carried on one node rather than enumerated; the countability of vso:Aggregate."@en . vso:Affordance a owl:Class ; rdfs:label "Affordance"@en ; rdfs:comment "Affordance an Endurant offers (Holdable, Wearable, Mountable, Container, Edible)."@en . vso:Holdable a vso:Affordance ; rdfs:label "Holdable"@en ; rdfs:comment "Can be grasped and carried in the hand."@en . vso:Wearable a vso:Affordance ; rdfs:label "Wearable"@en ; rdfs:comment "Can be worn on the body."@en . vso:Mountable a vso:Affordance ; rdfs:label "Mountable"@en ; rdfs:comment "Can be climbed onto, sat on, or ridden."@en . vso:Container a vso:Affordance ; rdfs:label "Container"@en ; rdfs:comment "Can hold other things inside it."@en . vso:Edible a vso:Affordance ; rdfs:label "Edible"@en ; rdfs:comment "Can be eaten or drunk."@en . # Trait-kind individuals are pairwise distinct (mirrors the rcc8.ttl JEPD # discipline). Without this, asserting two kinds on one functional trait # property would silently infer owl:sameAs between the kinds instead of a # detectable inconsistency. [] a owl:AllDifferent ; owl:distinctMembers ( vso:Generic vso:Named vso:Kind vso:Skolem ) . [] a owl:AllDifferent ; owl:distinctMembers ( vso:Agentive vso:Inert ) . [] a owl:AllDifferent ; owl:distinctMembers ( vso:Count vso:Mass vso:Collective ) . # vso:affordance is non-functional (0..n per Endurant), so the sibling axes' # prp-fp collapse does not apply here; the distinctness is asserted for parity # so that no downstream axiom or reasoner may quietly equate two affordances. [] a owl:AllDifferent ; owl:distinctMembers ( vso:Holdable vso:Wearable vso:Mountable vso:Container vso:Edible ) . ################################################################# # 5. Trait properties ################################################################# vso:individuation a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:Entity ; rdfs:range vso:IndividuationKind ; rdfs:label "individuation"@en ; rdfs:comment "How the Entity is individuated; exactly one vso:IndividuationKind per Entity."@en . vso:animacy a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:Entity ; rdfs:range vso:AnimacyKind ; rdfs:label "animacy"@en ; rdfs:comment "Whether the Entity is agentive or inert; exactly one vso:AnimacyKind per Entity."@en . vso:countability a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:Entity ; rdfs:range vso:CountabilityKind ; rdfs:label "countability"@en ; rdfs:comment "Whether the Entity is counted, measured, or collective; exactly one vso:CountabilityKind per Entity."@en . vso:affordance a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:range vso:Affordance ; rdfs:label "affordance"@en ; rdfs:comment "An affordance the Endurant offers; unlike the other trait axes this one is non-functional (zero or more per Endurant)."@en . ################################################################# # 6. Frame-attachment properties ################################################################# vso:framedBy a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:range vso:Frame ; rdfs:label "framedBy"@en ; rdfs:comment "Attaches a Frame node (context, style, camera, persona) to the Composition it frames."@en . vso:depicts a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:range vso:Entity ; rdfs:label "depicts"@en ; rdfs:comment "An Entity shown in the Composition; a Composition must depict at least one."@en . vso:viewedBy a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:range vso:CameraView ; rdfs:label "viewedBy"@en ; rdfs:comment "The CameraView the Composition is seen from."@en . vso:rendersAs a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:range vso:VisualStyle ; rdfs:label "rendersAs"@en ; rdfs:comment "The VisualStyle the Composition is rendered in."@en . # vso:hasFact attaches reification nodes (SpatialFact, Negation, BeliefState, # Quantification, Annotation) to a Composition. Distinct from vso:depicts, # which is reserved for vso:Entity (the depicted world). Range deliberately # unconstrained at the OWL level (multiple classes); SHACL can tighten later. vso:hasFact a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:label "hasFact"@en ; rdfs:comment "Attaches a reification node (SpatialFact, Negation, BeliefState, Quantification, Annotation) to a Composition. Use vso:depicts only for vso:Entity targets."@en . # vso:occurs — documented in docs/vson.md §5.2 and emitted by the gallery # (05/06/07/09) and the studio envelope corpus, but undeclared until now, which # made those documents fail conformance clause C2 (no orphan VSO terms). vso:occurs a owl:ObjectProperty ; rdfs:domain vso:Composition ; rdfs:range vso:Perdurant ; rdfs:label "occurs"@en ; rdfs:comment "Events / Processes / Statives observed within this composition; producers MAY also use vso:depicts for perdurants, and both forms are conformant."@en . ################################################################# # 7. Quality attachment ################################################################# # Covering super-class of everything that may bear a vso:Quality. Entities bear # contingent per-scene qualities; a Composition bears *compositional* qualities # (Layout, Focal). Without this class, vso:hasQuality's domain would infer a # quality-bearing Composition into vso:Entity — which is owl:disjointWith # vso:Frame, making the canonical scene OWL 2 RL inconsistent. vso:QualityBearer a owl:Class ; rdfs:label "QualityBearer"@en ; rdfs:comment "Anything that may bear a vso:Quality: an Entity (contingent qualities) or a Composition (compositional qualities such as Layout/Focal)."@en . vso:Entity rdfs:subClassOf vso:QualityBearer . vso:Composition rdfs:subClassOf vso:QualityBearer . vso:hasQuality a owl:ObjectProperty ; rdfs:domain vso:QualityBearer ; rdfs:range vso:Quality ; rdfs:label "hasQuality"@en ; rdfs:comment "Attaches a contingent, per-scene Quality to an Entity or a Composition."@en . vso:dimension a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:Quality ; rdfs:label "dimension"@en ; rdfs:comment "Which axis a Quality measures (Color, Affect, Role, ...); exactly one per Quality."@en . vso:value a rdf:Property ; rdfs:domain vso:Quality ; rdfs:label "value"@en ; rdfs:comment "The reading of a Quality on its dimension; deliberately untyped so a string, a number, or an IRI are all admissible (see the Profile status note at the top of this file)."@en . vso:modifier a owl:DatatypeProperty ; rdfs:domain vso:Quality ; rdfs:range xsd:string ; rdfs:label "modifier"@en ; rdfs:comment "Optional adverbial modifier on a Quality (e.g., 'dark' on Color, 'very' on Weight). Snake_case bareword. Cardinality 0..1; SHACL-enforced via vss:QualityModifierShape (relaxed; absence is normal)."@en . # vso:class — declared here because it appears in docs and gallery examples # (e.g., :alice vso:class Human, :alice vso:class :Apple) but lacked a TBox # declaration in v1.0. Range deliberately unconstrained (rdf:Property) to admit # both string literals (e.g., "Knight") and IRIs (e.g., :Knight, the form # emitted by the Penman parser when a bare ID is given). vso:class a rdf:Property ; rdfs:domain vso:Entity ; rdfs:label "class"@en ; rdfs:comment "Domain-class designation from the open class registry (Knight, Crown, Sword, Woman, Apple, ...). Open vocabulary. Values typically IRIs in the document namespace when emitted from bareword input; xsd:string literals also conformant. Range intentionally unconstrained."@en . # Persona linkage — embodies and hasInvariant vso:embodies a owl:ObjectProperty ; rdfs:domain vso:Entity ; rdfs:range vso:Persona ; rdfs:label "embodies"@en ; rdfs:comment "Entity embodies (instantiates) a Persona in this scene. The Persona's vso:hasInvariant Qualities are stable identity facts shared across embodiments."@en . vso:hasInvariant a owl:ObjectProperty ; rdfs:domain vso:Persona ; rdfs:range vso:Quality ; rdfs:label "hasInvariant"@en ; rdfs:comment "Invariant Quality of the Persona — stable across embodiments (hair color, build, etc.). Contrast with vso:hasQuality which is contingent per scene."@en . # Quality dimensions — CLOSED registry under the VSO namespace. # # The registry is exactly the vso:Dimension individuals declared below. This # file is the single source of the list; docs/vson.md §5.5.1 restates it in # table form and nothing else is normative. Adding a member is a v1.x-compatible # change (§8); removing or renaming one is not. vso:Dimension a owl:Class ; rdfs:label "Dimension"@en ; rdfs:comment "Registry of Quality dimensions. CLOSED under the VSO namespace: the admissible values of vso:dimension in this namespace are exactly the vso:Dimension individuals declared in this file, and any other w3id.org/vson IRI in that slot is an orphan VSO term — non-conformant under clause C2 (docs/vson.md §2). A producer needing a further dimension MUST mint it under its own document namespace, never under vso:."@en . vso:Color a vso:Dimension ; rdfs:label "Color"@en ; rdfs:comment "Perceived colour of the bearer."@en . vso:Weight a vso:Dimension ; rdfs:label "Weight"@en ; rdfs:comment "Heaviness of the bearer, as read off the scene rather than measured."@en . vso:Material a vso:Dimension ; rdfs:label "Material"@en ; rdfs:comment "What the bearer is made of (stone, silk, iron)."@en . vso:Affect a vso:Dimension ; rdfs:label "Affect"@en ; rdfs:comment "Mood or emotional state attributed to the bearer."@en . vso:Age a vso:Dimension ; rdfs:label "Age"@en ; rdfs:comment "Age of the bearer, as a number of years or an age band."@en . vso:Role a vso:Dimension ; rdfs:label "Role"@en ; rdfs:comment "Social or narrative role the bearer occupies in the scene (queen, knight)."@en . vso:Size a vso:Dimension ; rdfs:label "Size"@en ; rdfs:comment "Relative size of the bearer."@en . vso:Enchantment a vso:Dimension ; rdfs:label "Enchantment"@en ; rdfs:comment "Magical or supernatural property attributed to the bearer."@en . # Composition, action, and quantity axes. ActionState/Layout/Focal are emitted # into the VSO namespace by the Penman transpiler from examples/throne_room.vson # and examples/gallery/11_throne_room.vson, so they must be declared here or the # shipped corpus violates C2. Amount is the VSON-X `*amount` key. vso:ActionState a vso:Dimension ; rdfs:label "ActionState"@en ; rdfs:comment "Transient action phase of an Entity (drawn, raised, running)."@en . vso:Layout a vso:Dimension ; rdfs:label "Layout"@en ; rdfs:comment "Compositional dimension: how the scene is arranged; borne by a Composition."@en . vso:Focal a vso:Dimension ; rdfs:label "Focal"@en ; rdfs:comment "Compositional dimension: what the scene draws attention to; borne by a Composition."@en . vso:Amount a vso:Dimension ; rdfs:label "Amount"@en ; rdfs:comment "How much of the bearer there is, for Substances and Aggregates read as quantity rather than count."@en . # Appearance axes. Hair/Skin/Pose carry the Persona invariants of # docs/vson.md §5.3.4 and examples/gallery/12_persona.vson; Eye carries the # second invariant of the §5.3.4 worked example. Hairstyle/Eyewear/Headwear/ # Outfit/Fit are the remaining members of the VSON-X closed dimension # vocabulary (docs/vson-x-semantics.md §3.2.1), which the VSON-X emitter turns # into VSO-namespace IRIs the same way — undeclared, they would be orphan terms # the moment a fashion or portrait scene used them. vso:Hair a vso:Dimension ; rdfs:label "Hair"@en ; rdfs:comment "Hair of the bearer, as colour or length (auburn, black_short); a common Persona invariant."@en . vso:Hairstyle a vso:Dimension ; rdfs:label "Hairstyle"@en ; rdfs:comment "Cut or styling of the bearer's hair (bob, braided, ponytail), as distinct from its colour or length."@en . vso:Skin a vso:Dimension ; rdfs:label "Skin"@en ; rdfs:comment "Skin tone or complexion of the bearer; a common Persona invariant."@en . vso:Eye a vso:Dimension ; rdfs:label "Eye"@en ; rdfs:comment "Eye colour of the bearer; a common Persona invariant."@en . vso:Eyewear a vso:Dimension ; rdfs:label "Eyewear"@en ; rdfs:comment "Eyewear the bearer is wearing (sunglasses, round_frames)."@en . vso:Headwear a vso:Dimension ; rdfs:label "Headwear"@en ; rdfs:comment "Headwear the bearer is wearing (beanie, wide_brim_hat)."@en . vso:Outfit a vso:Dimension ; rdfs:label "Outfit"@en ; rdfs:comment "The garment or ensemble the bearer is wearing, read as a whole (trench_coat, three_piece_suit)."@en . vso:Fit a vso:Dimension ; rdfs:label "Fit"@en ; rdfs:comment "How the bearer's garment sits on the body (oversized, tailored, cropped)."@en . vso:Pose a vso:Dimension ; rdfs:label "Pose"@en ; rdfs:comment "Bodily posture of the bearer."@en . # vso:dimension is owl:FunctionalProperty, so a Quality asserting two dimensions # collapses them to owl:sameAs via prp-fp. Declaring the dimension individuals # pairwise-distinct turns that collapse into a detectable eq-diff1 clash in the # owl-consistency gate — mirroring the individuation/animacy/countability axes. # This list MUST name every vso:Dimension individual declared above: a member # left out is a member that can silently sameAs-collapse. # tests/test_shapes_gate.py pins the two sets equal. [] a owl:AllDifferent ; owl:distinctMembers ( vso:Color vso:Weight vso:Material vso:Affect vso:Age vso:Role vso:Size vso:Enchantment vso:ActionState vso:Layout vso:Focal vso:Amount vso:Hair vso:Hairstyle vso:Skin vso:Eye vso:Eyewear vso:Headwear vso:Outfit vso:Fit vso:Pose ) . ################################################################# # 8. Thematic-role properties (used on Event / Process / Stative) ################################################################# vso:agent a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "agent"@en ; rdfs:comment "Volitional doer of an Event or Process."@en . vso:patient a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "patient"@en ; rdfs:comment "Entity affected or changed by an Event."@en . vso:theme a owl:ObjectProperty ; rdfs:label "theme"@en ; rdfs:comment "Entity standing in the relation or state without being changed by it."@en . vso:instrument a owl:ObjectProperty ; rdfs:range vso:PhysicalObject ; rdfs:label "instrument"@en ; rdfs:comment "Means or tool the Event is carried out with."@en . vso:recipient a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "recipient"@en ; rdfs:comment "Goal-receiver in a transfer Event."@en . vso:source a owl:ObjectProperty ; rdfs:label "source"@en ; rdfs:comment "Origin the transfer or motion starts from."@en . vso:goal a owl:ObjectProperty ; rdfs:label "goal"@en ; rdfs:comment "Target or destination the Event or Process is directed at."@en . vso:beneficiary a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "beneficiary"@en ; rdfs:comment "Entity for whose benefit the Event is performed."@en . vso:experiencer a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "experiencer"@en ; rdfs:comment "Sentient Endurant holding a cognitive or perceptual Stative."@en . vso:stimulus a owl:ObjectProperty ; rdfs:label "stimulus"@en ; rdfs:comment "What the experiencer of a Stative is oriented toward."@en . vso:location a owl:ObjectProperty ; rdfs:label "location"@en ; rdfs:comment "Where the perdurant takes place."@en . vso:time a rdf:Property ; rdfs:label "time"@en ; rdfs:comment "When the perdurant takes place; untyped so an interval IRI or a literal time expression are both admissible."@en . vso:manner a rdf:Property ; rdfs:label "manner"@en ; rdfs:comment "Adverbial manner of the perdurant, a snake_case bareword (swift, careful, forceful)."@en . vso:cause a owl:ObjectProperty ; rdfs:range vso:Perdurant ; rdfs:label "cause"@en ; rdfs:comment "Perdurant that brought this one about, recorded as a role on the caused perdurant."@en . vso:result a owl:ObjectProperty ; rdfs:label "result"@en ; rdfs:comment "State or entity the Event brings into being."@en . vso:lemma a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "lemma"@en ; rdfs:comment "Bare snake_case verb naming the perdurant (e.g. 'strike', 'look_at'); frame-index suffixes such as PropBank's '-01' are not used."@en . vso:holder a owl:ObjectProperty ; rdfs:range vso:Endurant ; rdfs:label "holder"@en ; rdfs:comment "Possessor in a hold / wear / own Stative."@en . ################################################################# # 9. Stative possession (object-world, not graph) ################################################################# vso:holds a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:range vso:PhysicalObject ; rdfs:label "holds"@en ; rdfs:comment "The subject has the object in hand or grip at the depicted moment."@en . vso:wears a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:range vso:PhysicalObject ; rdfs:label "wears"@en ; rdfs:comment "The subject has the object on its body as clothing, armour, or ornament."@en . vso:owns a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:range vso:Endurant ; rdfs:label "owns"@en ; rdfs:comment "The subject possesses the object independently of the depicted moment."@en . vso:carries a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:range vso:PhysicalObject ; rdfs:label "carries"@en ; rdfs:comment "The subject bears the object along with it, not necessarily in hand."@en . ################################################################# # 10. Mereology (with axioms) ################################################################# vso:partOf a owl:ObjectProperty , owl:TransitiveProperty ; rdfs:label "partOf"@en ; rdfs:comment "The subject is a part of the object; transitive, inverse of vso:hasPart."@en . vso:hasPart a owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf vso:partOf ; rdfs:label "hasPart"@en ; rdfs:comment "The object is a part of the subject; transitive, inverse of vso:partOf."@en . # owl:IrreflexiveProperty is the "and not identical to it" half of the comment # below, and of the OWL-characteristics column docs/vson.md §5.8 has published # since v1.0 — asserted here for the first time in v1.3. It is OWL 2 RL-legal # (rule prp-irp), so the vso:properPartOf loop that the table already forbade is # now a clash the owl-consistency gate can name instead of a sentence in a # table. tests/test_ontology_docs.py pins the whole §5.8 column to this file. vso:properPartOf a owl:ObjectProperty , owl:TransitiveProperty , owl:IrreflexiveProperty ; rdfs:subPropertyOf vso:partOf ; rdfs:label "properPartOf"@en ; rdfs:comment "The subject is a part of the object and not identical to it; a sub-property of vso:partOf, and irreflexive."@en . vso:overlaps a owl:ObjectProperty , owl:SymmetricProperty ; rdfs:label "overlaps"@en ; rdfs:comment "The two entities share at least one part; symmetric."@en . vso:disjoint a owl:ObjectProperty , owl:SymmetricProperty ; rdfs:label "disjoint"@en ; rdfs:comment "The two entities share no part; symmetric."@en . ################################################################# # 11. Spatial — RCC-8 + directional + proximal # (RCC-8 in companion file rcc8.ttl; directional/proximal here) ################################################################# # Directional (frame-relative). These are the closed set of VALUES of # vso:directional (e.g., :sf vso:directional vso:above), recorded only on # SpatialFact nodes carrying a vso:viewer (the SHACL shape enforces the viewer). # They are individuals — NOT edge predicates — mirroring the rcc:Relation design. # Value IRIs are snake_case — the canonical surface form used by the gallery, # the Penman transpiler, and docs/vson.md (e.g. :sf vso:directional vso:left_of). vso:Direction a owl:Class ; rdfs:label "Direction"@en ; rdfs:comment "Closed set of frame-relative directional values (values of vso:directional)."@en . vso:above a vso:Direction ; rdfs:label "above"@en ; rdfs:comment "The figure is higher than the ground in the viewer's frame."@en . vso:below a vso:Direction ; rdfs:label "below"@en ; rdfs:comment "The figure is lower than the ground in the viewer's frame."@en . vso:left_of a vso:Direction ; rdfs:label "left_of"@en ; rdfs:comment "The figure is to the viewer's left of the ground."@en . vso:right_of a vso:Direction ; rdfs:label "right_of"@en ; rdfs:comment "The figure is to the viewer's right of the ground."@en . vso:in_front_of a vso:Direction ; rdfs:label "in_front_of"@en ; rdfs:comment "The figure is nearer to the viewer than the ground is."@en . vso:behind a vso:Direction ; rdfs:label "behind"@en ; rdfs:comment "The figure is further from the viewer than the ground is."@en . [] a owl:AllDifferent ; owl:distinctMembers ( vso:above vso:below vso:left_of vso:right_of vso:in_front_of vso:behind ) . # Proximal values — VALUES of vso:proximal (e.g., :sf vso:proximal vso:near), # NOT predicates between entities. Symmetry is enforced at emission time via the # VSON-X `&` form (two SpatialFacts with figure/ground swapped), not by an # owl:SymmetricProperty axiom. Like the directions, these are individuals of a # closed value class. vso:ProximityKind a owl:Class ; rdfs:label "ProximityKind"@en ; rdfs:comment "Closed set of proximity values (values of vso:proximal)."@en . vso:near a vso:ProximityKind ; rdfs:label "near"@en ; rdfs:comment "The figure is close to the ground relative to the scale of the scene."@en . vso:far a vso:ProximityKind ; rdfs:label "far"@en ; rdfs:comment "The figure is distant from the ground relative to the scale of the scene."@en . vso:adjacent a vso:ProximityKind ; rdfs:label "adjacent"@en ; rdfs:comment "The figure is immediately beside the ground, with nothing between them."@en . vso:next_to a vso:ProximityKind ; rdfs:label "next_to"@en ; rdfs:comment "The figure is beside the ground, without the no-gap reading vso:adjacent asserts."@en . vso:facing a vso:ProximityKind ; rdfs:label "facing"@en ; rdfs:comment "The figure is turned toward the ground."@en . [] a owl:AllDifferent ; owl:distinctMembers ( vso:near vso:far vso:adjacent vso:next_to vso:facing ) . # SpatialFact structural properties vso:figure a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:SpatialFact ; rdfs:label "figure"@en ; rdfs:comment "The entity being located by the SpatialFact; exactly one per fact."@en . vso:ground a owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain vso:SpatialFact ; rdfs:label "ground"@en ; rdfs:comment "The entity the figure is located against; exactly one per fact."@en . vso:rcc a owl:ObjectProperty ; rdfs:domain vso:SpatialFact ; rdfs:label "rcc"@en ; rdfs:comment "Topological reading of the fact, valued by one of the eight rcc:Relation individuals."@en . vso:directional a owl:ObjectProperty ; rdfs:domain vso:SpatialFact ; rdfs:label "directional"@en ; rdfs:comment "Frame-relative reading of the fact, valued by a vso:Direction; requires a vso:viewer."@en . vso:proximal a owl:ObjectProperty ; rdfs:domain vso:SpatialFact ; rdfs:label "proximal"@en ; rdfs:comment "Distance reading of the fact, valued by a vso:ProximityKind."@en . vso:viewer a owl:ObjectProperty ; rdfs:domain vso:SpatialFact ; rdfs:range vso:CameraView ; rdfs:label "viewer"@en ; rdfs:comment "The CameraView a directional reading is relative to; mandatory whenever vso:directional is present."@en . ################################################################# # 12. Causal (distinct from action) ################################################################# vso:causes a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "causes"@en ; rdfs:comment "The subject perdurant brings the object perdurant about."@en . vso:enables a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "enables"@en ; rdfs:comment "The subject perdurant makes the object perdurant possible without bringing it about."@en . vso:prevents a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "prevents"@en ; rdfs:comment "The subject perdurant keeps the object perdurant from occurring."@en . vso:triggers a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "triggers"@en ; rdfs:comment "The subject perdurant sets the object perdurant off immediately."@en . ################################################################# # 13. Modal / propositional attitudes ################################################################# vso:believes a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:label "believes"@en ; rdfs:comment "Links an Endurant to the BeliefState holding what it takes to be true."@en . vso:intends a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:label "intends"@en ; rdfs:comment "Links an Endurant to the BeliefState holding what it aims to bring about."@en . vso:perceives a owl:ObjectProperty ; rdfs:domain vso:Endurant ; rdfs:label "perceives"@en ; rdfs:comment "Links an Endurant to the BeliefState holding what it senses."@en . vso:proposition a rdf:Property ; rdfs:domain vso:BeliefState ; rdfs:label "proposition"@en ; rdfs:comment "The proposition that is believed/intended/perceived. Range is an RDF-star quoted triple in canonical Turtle 1.2 form, OR a vso:Annotation reified node (RDF 1.1 portable) — both forms are conformant per spec §18."@en . vso:negatedStatement a rdf:Property ; rdfs:domain vso:Negation ; rdfs:label "negatedStatement"@en ; rdfs:comment "The negated proposition. Range is an RDF-star quoted triple OR a vso:Annotation reified node (same dual-form policy as vso:proposition)."@en . # Quantification properties (spec §6, §13). The vso:Quantification class is a # reified universal/existential statement: a quantifier word, a variable name, # an optional domain restriction, and a scope (the predicated proposition). vso:quantifier a owl:DatatypeProperty ; rdfs:domain vso:Quantification ; rdfs:range xsd:string ; rdfs:label "quantifier"@en ; rdfs:comment "Quantifier lexeme. Closed list: 'all', 'every', 'some', 'no', 'most', 'few'. Stored as snake_case xsd:string."@en . vso:variable a owl:DatatypeProperty ; rdfs:domain vso:Quantification ; rdfs:range xsd:string ; rdfs:label "variable"@en ; rdfs:comment "Variable name bound by the quantifier (e.g. 'x', 'horse'). Plain xsd:string token; appears as the subject in scope/domain triples."@en . vso:qDomain a rdf:Property ; rdfs:domain vso:Quantification ; rdfs:label "qDomain"@en ; rdfs:comment "Optional domain restriction. Range is an RDF-star quoted triple OR a vso:Annotation reified node (same dual-form policy)."@en . vso:scope a rdf:Property ; rdfs:domain vso:Quantification ; rdfs:label "scope"@en ; rdfs:comment "The proposition predicated of the bound variable. Range is an RDF-star quoted triple OR a vso:Annotation reified node."@en . ################################################################# # 14. Geometry ################################################################# # Normalized, not pixels. This comment offered both until v1.3, while # docs/vson.md §5.4 and §5.10 have said "normalized, all components in [0,1]" # since v1.0 and the envelope schema has carried a normalized-only pattern for # as long. §2 ranks docs/vson.md above the ontology, so the disagreement was # resolved in the lower-ranked artifact — this line. Every bbox2d in the shipped # corpus was already normalized; vss:GeometryShape now rejects the pixel form. vso:bbox2d a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "bbox2d"@en ; rdfs:comment "Bounding box in normalized image coordinates as 'x,y,w,h', every component in [0,1]."@en . vso:position3d a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "position3d"@en ; rdfs:comment "World position 'x,y,z'."@en . vso:scale3d a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "scale3d"@en ; rdfs:comment "World scale 'sx,sy,sz'."@en . vso:rotation a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "rotation"@en ; rdfs:comment "Quaternion 'qx,qy,qz,qw' or Euler 'rx,ry,rz'."@en . vso:occludes a owl:ObjectProperty ; rdfs:domain vso:PhysicalObject ; rdfs:range vso:PhysicalObject ; rdfs:label "occludes"@en ; rdfs:comment "The subject stands in front of the object and hides part of it from the viewer."@en . vso:visibleFraction a owl:DatatypeProperty ; rdfs:range xsd:decimal ; rdfs:label "visibleFraction"@en ; rdfs:comment "Fraction of the entity still visible after occlusion, in [0,1]."@en . ################################################################# # 15. Camera schema (USD-aligned) ################################################################# vso:angle a owl:DatatypeProperty ; rdfs:domain vso:CameraView ; rdfs:label "angle"@en ; rdfs:comment "Vertical camera attitude: eye_level, low, high, dutch, top_down, worms_eye."@en . vso:focalLength a owl:DatatypeProperty ; rdfs:domain vso:CameraView ; rdfs:label "focalLength"@en ; rdfs:comment "Lens focal length as a 35mm-equivalent string ('24mm', '85mm') or a bare number of millimetres."@en . vso:framing a owl:DatatypeProperty ; rdfs:domain vso:CameraView ; rdfs:label "framing"@en ; rdfs:comment "Shot size: extreme_close_up, close_up, medium_shot, wide_shot, extreme_wide_shot."@en . vso:lookAt a owl:ObjectProperty ; rdfs:domain vso:CameraView ; rdfs:label "lookAt"@en ; rdfs:comment "Reserved; not used by any shipped syntax or example."@en . vso:cameraPosition a owl:DatatypeProperty ; rdfs:domain vso:CameraView ; rdfs:label "cameraPosition"@en ; rdfs:comment "Free-form positional cue for the camera ('front_left_dolly', 'overhead')."@en . ################################################################# # 16. Style schema ################################################################# vso:aesthetic a owl:DatatypeProperty ; rdfs:domain vso:VisualStyle ; rdfs:label "aesthetic"@en ; rdfs:comment "Overall visual idiom of the rendering (photographic, oil_painting, anime, noir, ...)."@en . vso:palette a owl:DatatypeProperty ; rdfs:domain vso:VisualStyle ; rdfs:label "palette"@en ; rdfs:comment "Dominant colour treatment (warm, cool, monochrome, pastel, neon, ...)."@en . vso:medium a owl:DatatypeProperty ; rdfs:domain vso:VisualStyle ; rdfs:label "medium"@en ; rdfs:comment "Physical or digital carrier of the image (photograph, canvas, paper, digital, fresco, ...)."@en . ################################################################# # 17. Scene context schema ################################################################# vso:venue a owl:DatatypeProperty ; rdfs:domain vso:SceneContext ; rdfs:label "venue"@en ; rdfs:comment "Where the scene is set, as a snake_case noun (throne_room, marketplace, forest_path); open vocabulary."@en . vso:atmosphere a owl:DatatypeProperty ; rdfs:domain vso:SceneContext ; rdfs:label "atmosphere"@en ; rdfs:comment "Emotional register of the setting (tense, calm, somber, festive, ominous, ...)."@en . vso:timeOfDay a owl:DatatypeProperty ; rdfs:domain vso:SceneContext ; rdfs:label "timeOfDay"@en ; rdfs:comment "Time of day the scene is set at (dawn, morning, noon, afternoon, dusk, night)."@en . vso:weather a owl:DatatypeProperty ; rdfs:domain vso:SceneContext ; rdfs:label "weather"@en ; rdfs:comment "Weather of the setting (clear, cloudy, rain, snow, fog, storm, indoor)."@en . ################################################################# # 18. Probability / provenance # # Two forms are supported for annotating an existing triple with confidence, # source, or probability: # # (a) RDF-star quoted-triple syntax (canonical, RDF 1.2): # << :strike vso:patient :boar >> vso:confidence "0.95"^^xsd:decimal . # # (b) Explicit reified annotation (RDF 1.1 portable): # :ann1 a vso:Annotation ; # vso:annotatedSubject :strike ; vso:annotatedPredicate vso:patient ; # vso:annotatedObject :boar ; vso:confidence "0.95"^^xsd:decimal . # # Both forms are conformant. Tooling SHOULD accept both and produce one # canonical form on output. ################################################################# vso:Annotation a owl:Class ; rdfs:label "Annotation"@en ; rdfs:comment "Reified annotation of a triple. Equivalent to an RDF-star quoted triple."@en . vso:annotatedSubject a owl:ObjectProperty ; rdfs:domain vso:Annotation ; rdfs:label "annotatedSubject"@en ; rdfs:comment "Subject of the triple this Annotation is about."@en . vso:annotatedPredicate a owl:ObjectProperty ; rdfs:domain vso:Annotation ; rdfs:label "annotatedPredicate"@en ; rdfs:comment "Predicate of the triple this Annotation is about."@en . vso:annotatedObject a owl:ObjectProperty ; rdfs:domain vso:Annotation ; rdfs:label "annotatedObject"@en ; rdfs:comment "Object of the triple this Annotation is about."@en . vso:probability a owl:DatatypeProperty ; rdfs:range xsd:decimal ; rdfs:label "probability"@en ; rdfs:comment "Probability in [0,1] that the annotated triple holds."@en . vso:confidence a owl:DatatypeProperty ; rdfs:range xsd:decimal ; rdfs:label "confidence"@en ; rdfs:comment "Producer's confidence in [0,1] in the annotated triple."@en . ################################################################# # BEGIN GENERATED — scripts/annotate_ontology.py # # Do not edit by hand: `python3 scripts/annotate_ontology.py --write` # regenerates it, and `make check` fails while it is stale. # # One line per term this document declares, carrying the two annotations a # consumer of a MERGED graph cannot recover from the term IRI alone: # # rdfs:isDefinedBy the document to fetch for this term. VSON merges — the # header imports the two companion documents, and # site/v1/vson-full.ttl serves all three in one file — so # "which document is this term from" stops being answerable # by looking at where the bytes came from. # vs:term_status "stable": this term ships in a released vocabulary # version whose IRIs docs/vson.md §8.1 declares immutable # within v1.x. # # 161 term(s). ################################################################# vso:ActionState rdfs:isDefinedBy ; vs:term_status "stable" . vso:Affect rdfs:isDefinedBy ; vs:term_status "stable" . vso:Affordance rdfs:isDefinedBy ; vs:term_status "stable" . vso:Age rdfs:isDefinedBy ; vs:term_status "stable" . vso:Agentive rdfs:isDefinedBy ; vs:term_status "stable" . vso:Aggregate rdfs:isDefinedBy ; vs:term_status "stable" . vso:Amount rdfs:isDefinedBy ; vs:term_status "stable" . vso:AnimacyKind rdfs:isDefinedBy ; vs:term_status "stable" . vso:Annotation rdfs:isDefinedBy ; vs:term_status "stable" . vso:BeliefState rdfs:isDefinedBy ; vs:term_status "stable" . vso:CameraView rdfs:isDefinedBy ; vs:term_status "stable" . vso:Collective rdfs:isDefinedBy ; vs:term_status "stable" . vso:Color rdfs:isDefinedBy ; vs:term_status "stable" . vso:Composition rdfs:isDefinedBy ; vs:term_status "stable" . vso:Container rdfs:isDefinedBy ; vs:term_status "stable" . vso:Count rdfs:isDefinedBy ; vs:term_status "stable" . vso:CountabilityKind rdfs:isDefinedBy ; vs:term_status "stable" . vso:Dimension rdfs:isDefinedBy ; vs:term_status "stable" . vso:Direction rdfs:isDefinedBy ; vs:term_status "stable" . vso:Edible rdfs:isDefinedBy ; vs:term_status "stable" . vso:Enchantment rdfs:isDefinedBy ; vs:term_status "stable" . vso:Endurant rdfs:isDefinedBy ; vs:term_status "stable" . vso:Entity rdfs:isDefinedBy ; vs:term_status "stable" . vso:Event rdfs:isDefinedBy ; vs:term_status "stable" . vso:Eye rdfs:isDefinedBy ; vs:term_status "stable" . vso:Eyewear rdfs:isDefinedBy ; vs:term_status "stable" . vso:Fit rdfs:isDefinedBy ; vs:term_status "stable" . vso:Focal rdfs:isDefinedBy ; vs:term_status "stable" . vso:Frame rdfs:isDefinedBy ; vs:term_status "stable" . vso:Generic rdfs:isDefinedBy ; vs:term_status "stable" . vso:Hair rdfs:isDefinedBy ; vs:term_status "stable" . vso:Hairstyle rdfs:isDefinedBy ; vs:term_status "stable" . vso:Headwear rdfs:isDefinedBy ; vs:term_status "stable" . vso:Holdable rdfs:isDefinedBy ; vs:term_status "stable" . vso:IndividuationKind rdfs:isDefinedBy ; vs:term_status "stable" . vso:Inert rdfs:isDefinedBy ; vs:term_status "stable" . vso:Kind rdfs:isDefinedBy ; vs:term_status "stable" . vso:Layout rdfs:isDefinedBy ; vs:term_status "stable" . vso:Mass rdfs:isDefinedBy ; vs:term_status "stable" . vso:Material rdfs:isDefinedBy ; vs:term_status "stable" . vso:Mountable rdfs:isDefinedBy ; vs:term_status "stable" . vso:Named rdfs:isDefinedBy ; vs:term_status "stable" . vso:Negation rdfs:isDefinedBy ; vs:term_status "stable" . vso:Outfit rdfs:isDefinedBy ; vs:term_status "stable" . vso:Perdurant rdfs:isDefinedBy ; vs:term_status "stable" . vso:Persona rdfs:isDefinedBy ; vs:term_status "stable" . vso:PhysicalObject rdfs:isDefinedBy ; vs:term_status "stable" . vso:Pose rdfs:isDefinedBy ; vs:term_status "stable" . vso:Process rdfs:isDefinedBy ; vs:term_status "stable" . vso:ProximityKind rdfs:isDefinedBy ; vs:term_status "stable" . vso:Quality rdfs:isDefinedBy ; vs:term_status "stable" . vso:QualityBearer rdfs:isDefinedBy ; vs:term_status "stable" . vso:Quantification rdfs:isDefinedBy ; vs:term_status "stable" . vso:Region rdfs:isDefinedBy ; vs:term_status "stable" . vso:Role rdfs:isDefinedBy ; vs:term_status "stable" . vso:SceneContext rdfs:isDefinedBy ; vs:term_status "stable" . vso:Size rdfs:isDefinedBy ; vs:term_status "stable" . vso:Skin rdfs:isDefinedBy ; vs:term_status "stable" . vso:Skolem rdfs:isDefinedBy ; vs:term_status "stable" . vso:SpatialFact rdfs:isDefinedBy ; vs:term_status "stable" . vso:Stative rdfs:isDefinedBy ; vs:term_status "stable" . vso:Substance rdfs:isDefinedBy ; vs:term_status "stable" . vso:VisualStyle rdfs:isDefinedBy ; vs:term_status "stable" . vso:Wearable rdfs:isDefinedBy ; vs:term_status "stable" . vso:Weight rdfs:isDefinedBy ; vs:term_status "stable" . vso:above rdfs:isDefinedBy ; vs:term_status "stable" . vso:adjacent rdfs:isDefinedBy ; vs:term_status "stable" . vso:aesthetic rdfs:isDefinedBy ; vs:term_status "stable" . vso:affordance rdfs:isDefinedBy ; vs:term_status "stable" . vso:agent rdfs:isDefinedBy ; vs:term_status "stable" . vso:angle rdfs:isDefinedBy ; vs:term_status "stable" . vso:animacy rdfs:isDefinedBy ; vs:term_status "stable" . vso:annotatedObject rdfs:isDefinedBy ; vs:term_status "stable" . vso:annotatedPredicate rdfs:isDefinedBy ; vs:term_status "stable" . vso:annotatedSubject rdfs:isDefinedBy ; vs:term_status "stable" . vso:atmosphere rdfs:isDefinedBy ; vs:term_status "stable" . vso:bbox2d rdfs:isDefinedBy ; vs:term_status "stable" . vso:behind rdfs:isDefinedBy ; vs:term_status "stable" . vso:believes rdfs:isDefinedBy ; vs:term_status "stable" . vso:below rdfs:isDefinedBy ; vs:term_status "stable" . vso:beneficiary rdfs:isDefinedBy ; vs:term_status "stable" . vso:cameraPosition rdfs:isDefinedBy ; vs:term_status "stable" . vso:carries rdfs:isDefinedBy ; vs:term_status "stable" . vso:cause rdfs:isDefinedBy ; vs:term_status "stable" . vso:causes rdfs:isDefinedBy ; vs:term_status "stable" . vso:class rdfs:isDefinedBy ; vs:term_status "stable" . vso:confidence rdfs:isDefinedBy ; vs:term_status "stable" . vso:countability rdfs:isDefinedBy ; vs:term_status "stable" . vso:depicts rdfs:isDefinedBy ; vs:term_status "stable" . vso:dimension rdfs:isDefinedBy ; vs:term_status "stable" . vso:directional rdfs:isDefinedBy ; vs:term_status "stable" . vso:disjoint rdfs:isDefinedBy ; vs:term_status "stable" . vso:embodies rdfs:isDefinedBy ; vs:term_status "stable" . vso:enables rdfs:isDefinedBy ; vs:term_status "stable" . vso:experiencer rdfs:isDefinedBy ; vs:term_status "stable" . vso:facing rdfs:isDefinedBy ; vs:term_status "stable" . vso:far rdfs:isDefinedBy ; vs:term_status "stable" . vso:figure rdfs:isDefinedBy ; vs:term_status "stable" . vso:focalLength rdfs:isDefinedBy ; vs:term_status "stable" . vso:framedBy rdfs:isDefinedBy ; vs:term_status "stable" . vso:framing rdfs:isDefinedBy ; vs:term_status "stable" . vso:goal rdfs:isDefinedBy ; vs:term_status "stable" . vso:ground rdfs:isDefinedBy ; vs:term_status "stable" . vso:hasFact rdfs:isDefinedBy ; vs:term_status "stable" . vso:hasInvariant rdfs:isDefinedBy ; vs:term_status "stable" . vso:hasPart rdfs:isDefinedBy ; vs:term_status "stable" . vso:hasQuality rdfs:isDefinedBy ; vs:term_status "stable" . vso:holder rdfs:isDefinedBy ; vs:term_status "stable" . vso:holds rdfs:isDefinedBy ; vs:term_status "stable" . vso:in_front_of rdfs:isDefinedBy ; vs:term_status "stable" . vso:individuation rdfs:isDefinedBy ; vs:term_status "stable" . vso:instrument rdfs:isDefinedBy ; vs:term_status "stable" . vso:intends rdfs:isDefinedBy ; vs:term_status "stable" . vso:left_of rdfs:isDefinedBy ; vs:term_status "stable" . vso:lemma rdfs:isDefinedBy ; vs:term_status "stable" . vso:location rdfs:isDefinedBy ; vs:term_status "stable" . vso:lookAt rdfs:isDefinedBy ; vs:term_status "stable" . vso:manner rdfs:isDefinedBy ; vs:term_status "stable" . vso:medium rdfs:isDefinedBy ; vs:term_status "stable" . vso:modifier rdfs:isDefinedBy ; vs:term_status "stable" . vso:near rdfs:isDefinedBy ; vs:term_status "stable" . vso:negatedStatement rdfs:isDefinedBy ; vs:term_status "stable" . vso:next_to rdfs:isDefinedBy ; vs:term_status "stable" . vso:occludes rdfs:isDefinedBy ; vs:term_status "stable" . vso:occurs rdfs:isDefinedBy ; vs:term_status "stable" . vso:overlaps rdfs:isDefinedBy ; vs:term_status "stable" . vso:owns rdfs:isDefinedBy ; vs:term_status "stable" . vso:palette rdfs:isDefinedBy ; vs:term_status "stable" . vso:partOf rdfs:isDefinedBy ; vs:term_status "stable" . vso:patient rdfs:isDefinedBy ; vs:term_status "stable" . vso:perceives rdfs:isDefinedBy ; vs:term_status "stable" . vso:position3d rdfs:isDefinedBy ; vs:term_status "stable" . vso:prevents rdfs:isDefinedBy ; vs:term_status "stable" . vso:probability rdfs:isDefinedBy ; vs:term_status "stable" . vso:properPartOf rdfs:isDefinedBy ; vs:term_status "stable" . vso:proposition rdfs:isDefinedBy ; vs:term_status "stable" . vso:proximal rdfs:isDefinedBy ; vs:term_status "stable" . vso:qDomain rdfs:isDefinedBy ; vs:term_status "stable" . vso:quantifier rdfs:isDefinedBy ; vs:term_status "stable" . vso:rcc rdfs:isDefinedBy ; vs:term_status "stable" . vso:recipient rdfs:isDefinedBy ; vs:term_status "stable" . vso:rendersAs rdfs:isDefinedBy ; vs:term_status "stable" . vso:result rdfs:isDefinedBy ; vs:term_status "stable" . vso:right_of rdfs:isDefinedBy ; vs:term_status "stable" . vso:rotation rdfs:isDefinedBy ; vs:term_status "stable" . vso:scale3d rdfs:isDefinedBy ; vs:term_status "stable" . vso:scope rdfs:isDefinedBy ; vs:term_status "stable" . vso:source rdfs:isDefinedBy ; vs:term_status "stable" . vso:stimulus rdfs:isDefinedBy ; vs:term_status "stable" . vso:theme rdfs:isDefinedBy ; vs:term_status "stable" . vso:time rdfs:isDefinedBy ; vs:term_status "stable" . vso:timeOfDay rdfs:isDefinedBy ; vs:term_status "stable" . vso:triggers rdfs:isDefinedBy ; vs:term_status "stable" . vso:value rdfs:isDefinedBy ; vs:term_status "stable" . vso:variable rdfs:isDefinedBy ; vs:term_status "stable" . vso:venue rdfs:isDefinedBy ; vs:term_status "stable" . vso:viewedBy rdfs:isDefinedBy ; vs:term_status "stable" . vso:viewer rdfs:isDefinedBy ; vs:term_status "stable" . vso:visibleFraction rdfs:isDefinedBy ; vs:term_status "stable" . vso:wears rdfs:isDefinedBy ; vs:term_status "stable" . vso:weather rdfs:isDefinedBy ; vs:term_status "stable" . ################################################################# # https://w3id.org/vson/v1/rcc8 # from ontology/rcc8.ttl ################################################################# @prefix rcc: . @prefix vso: . @prefix owl: . @prefix rdfs: . @prefix dc: . @prefix xsd: . @prefix skos: . @prefix vann: . @prefix vs: . @prefix geo: . a owl:Ontology ; rdfs:label "RCC-8 spatial topology"@en ; rdfs:comment "The 8 RCC-8 base relation names as a closed value vocabulary for vso:rcc; JEPD holds in the intended interpretation; composition-table reasoning is out of scope."@en ; dc:title "VSON RCC-8 value vocabulary" ; dc:creator "yamancan" ; dc:license ; dc:modified "2026-07-31"^^xsd:date ; # Same publishing metadata, same provenance, as ontology/vso.ttl — the # three documents were created in one commit and are released together. dc:created "2026-05-02"^^xsd:date ; dc:issued "2026-07-31"^^xsd:date ; dc:publisher "yamancan" ; dc:bibliographicCitation "yamancan (2026). Visual Scene Ontology Notation (VSON), release 1.3.0. https://github.com/yamancan/visual-scene-ontology (CITATION.cff)" ; owl:versionInfo "1.2" ; # Unchanged. The core vocabulary's preferred prefix moved "vso" -> "vson" # because "vso" is already published by another vocabulary (ontology/vso.ttl, # docs/vson.md §5.1). This document was not part of that collision, and its # prefix has not been checked against a prefix registry — check before # submitting it anywhere. vann:preferredNamespacePrefix "rcc" ; vann:preferredNamespaceUri "https://w3id.org/vson/v1/rcc8#" . # RCC-8 base relations as instances of a relation class so they can be values # of vso:rcc on a SpatialFact. (The relations are the eight values, not edge predicates.) rcc:Relation a owl:Class ; rdfs:label "Relation"@en ; rdfs:comment "Class of the eight RCC-8 base relation values; its instances are the admissible objects of vso:rcc on a vso:SpatialFact."@en . # Alignment note. Each SKOS close-match triple below points at the OGC # GeoSPARQL RCC-8 term with the same intended reading. GeoSPARQL models its # terms as binary properties between features, while VSON models them as values # on a reified SpatialFact, so the match is advisory: it records the shared # reading and imports no OWL entailment. rcc:DC a rcc:Relation ; rdfs:label "DC"@en ; rdfs:comment "Disconnected: the two regions share no points at all."@en ; skos:closeMatch geo:rcc8dc . rcc:EC a rcc:Relation ; rdfs:label "EC"@en ; rdfs:comment "Externally connected: the regions touch along their boundaries but their interiors do not overlap."@en ; skos:closeMatch geo:rcc8ec . rcc:PO a rcc:Relation ; rdfs:label "PO"@en ; rdfs:comment "Partial overlap: the regions share interior points, yet neither is a part of the other."@en ; skos:closeMatch geo:rcc8po . rcc:EQ a rcc:Relation ; rdfs:label "EQ"@en ; rdfs:comment "Equal: the two regions occupy exactly the same points."@en ; skos:closeMatch geo:rcc8eq . rcc:TPP a rcc:Relation ; rdfs:label "TPP"@en ; rdfs:comment "Tangential proper part: the figure is a proper part of the ground and the two boundaries touch."@en ; skos:closeMatch geo:rcc8tpp . rcc:NTPP a rcc:Relation ; rdfs:label "NTPP"@en ; rdfs:comment "Non-tangential proper part: the figure lies wholly inside the ground without their boundaries touching."@en ; skos:closeMatch geo:rcc8ntpp . rcc:TPPi a rcc:Relation ; rdfs:label "TPPi"@en ; rdfs:comment "Inverse of TPP: the ground is a tangential proper part of the figure."@en ; skos:closeMatch geo:rcc8tppi . rcc:NTPPi a rcc:Relation ; rdfs:label "NTPPi"@en ; rdfs:comment "Inverse of NTPP: the ground is a non-tangential proper part of the figure."@en ; skos:closeMatch geo:rcc8ntppi . # owl:AllDifferent asserts only that the eight names denote distinct values, so # that two RCC-8 values on one SpatialFact cannot be quietly equated. It does # not encode JEPD — joint exhaustiveness and pairwise disjointness hold in the # intended interpretation, not as axioms here. [] a owl:AllDifferent ; owl:distinctMembers ( rcc:DC rcc:EC rcc:PO rcc:EQ rcc:TPP rcc:NTPP rcc:TPPi rcc:NTPPi ) . ################################################################# # BEGIN GENERATED — scripts/annotate_ontology.py # # Do not edit by hand: `python3 scripts/annotate_ontology.py --write` # regenerates it, and `make check` fails while it is stale. # # One line per term this document declares, carrying the two annotations a # consumer of a MERGED graph cannot recover from the term IRI alone: # # rdfs:isDefinedBy the document to fetch for this term. VSON merges — the # header imports the two companion documents, and # site/v1/vson-full.ttl serves all three in one file — so # "which document is this term from" stops being answerable # by looking at where the bytes came from. # vs:term_status "stable": this term ships in a released vocabulary # version whose IRIs docs/vson.md §8.1 declares immutable # within v1.x. # # 9 term(s). ################################################################# rcc:DC rdfs:isDefinedBy ; vs:term_status "stable" . rcc:EC rdfs:isDefinedBy ; vs:term_status "stable" . rcc:EQ rdfs:isDefinedBy ; vs:term_status "stable" . rcc:NTPP rdfs:isDefinedBy ; vs:term_status "stable" . rcc:NTPPi rdfs:isDefinedBy ; vs:term_status "stable" . rcc:PO rdfs:isDefinedBy ; vs:term_status "stable" . rcc:Relation rdfs:isDefinedBy ; vs:term_status "stable" . rcc:TPP rdfs:isDefinedBy ; vs:term_status "stable" . rcc:TPPi rdfs:isDefinedBy ; vs:term_status "stable" . ################################################################# # https://w3id.org/vson/v1/allen # from ontology/allen.ttl ################################################################# @prefix allen: . @prefix owl: . @prefix rdfs: . @prefix vso: . @prefix dc: . @prefix xsd: . @prefix skos: . @prefix vann: . @prefix vs: . @prefix time: . a owl:Ontology ; rdfs:label "Allen interval algebra"@en ; rdfs:comment "Allen's 13 base relations on time intervals, declared as object properties between vso:Perdurant nodes, with inverses and the transitive members of the algebra."@en ; dc:title "VSON Allen interval relations" ; dc:creator "yamancan" ; dc:license ; dc:modified "2026-07-31"^^xsd:date ; # Same publishing metadata, same provenance, as ontology/vso.ttl — the # three documents were created in one commit and are released together. dc:created "2026-05-02"^^xsd:date ; dc:issued "2026-07-31"^^xsd:date ; dc:publisher "yamancan" ; dc:bibliographicCitation "yamancan (2026). Visual Scene Ontology Notation (VSON), release 1.3.0. https://github.com/yamancan/visual-scene-ontology (CITATION.cff)" ; owl:versionInfo "1.2" ; # Unchanged. The core vocabulary's preferred prefix moved "vso" -> "vson" # because "vso" is already published by another vocabulary (ontology/vso.ttl, # docs/vson.md §5.1). This document was not part of that collision, and its # prefix has not been checked against a prefix registry — check before # submitting it anywhere. vann:preferredNamespacePrefix "allen" ; vann:preferredNamespaceUri "https://w3id.org/vson/v1/allen#" . # All Allen relations are object properties whose domain and range are vso:Perdurant # (events / processes / states all have temporal extent). # # Definitions are the standard readings of Allen 1983 ("Maintaining Knowledge # about Temporal Intervals", CACM 26(11)), stated for a subject interval X and # an object interval Y. # # owl:TransitiveProperty is asserted exactly on the members that compose with # themselves in Allen's composition table (before/after, during/contains, # starts/startedBy, finishes/finishedBy, equals). meets/metBy and # overlaps/overlappedBy are NOT transitive (meets;meets = before, # overlaps;overlaps = {before, meets, overlaps}), so they carry no transitivity # axiom. Composition-table reasoning beyond these self-compositions is out of # scope for this file. # # Each SKOS close-match triple points at the OWL-Time property with the same # reading. OWL-Time types its relations on time:ProperInterval whereas VSON # types them on vso:Perdurant, so the match is advisory: it records the shared # reading and imports no OWL entailment. allen:before a owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "before"@en ; rdfs:comment "X ends before Y begins, with a gap between them."@en ; skos:closeMatch time:intervalBefore . allen:after a owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf allen:before ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "after"@en ; rdfs:comment "X begins after Y ends, with a gap between them (inverse of allen:before)."@en ; skos:closeMatch time:intervalAfter . allen:meets a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "meets"@en ; rdfs:comment "X ends exactly where Y begins, with no gap and no overlap."@en ; skos:closeMatch time:intervalMeets . allen:metBy a owl:ObjectProperty ; owl:inverseOf allen:meets ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "metBy"@en ; rdfs:comment "X begins exactly where Y ends, with no gap and no overlap (inverse of allen:meets)."@en ; skos:closeMatch time:intervalMetBy . allen:overlaps a owl:ObjectProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "overlaps"@en ; rdfs:comment "X begins before Y, the two share a stretch of time, and X ends before Y ends."@en ; skos:closeMatch time:intervalOverlaps . allen:overlappedBy a owl:ObjectProperty ; owl:inverseOf allen:overlaps ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "overlappedBy"@en ; rdfs:comment "Y begins before X, the two share a stretch of time, and Y ends before X ends (inverse of allen:overlaps)."@en ; skos:closeMatch time:intervalOverlappedBy . allen:starts a owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "starts"@en ; rdfs:comment "X and Y begin at the same instant and X ends before Y ends."@en ; skos:closeMatch time:intervalStarts . allen:startedBy a owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf allen:starts ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "startedBy"@en ; rdfs:comment "X and Y begin at the same instant and Y ends before X ends (inverse of allen:starts)."@en ; skos:closeMatch time:intervalStartedBy . allen:during a owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "during"@en ; rdfs:comment "X begins after Y begins and ends before Y ends, so X falls strictly inside Y."@en ; skos:closeMatch time:intervalDuring . allen:contains a owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf allen:during ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "contains"@en ; rdfs:comment "Y falls strictly inside X: X begins before Y begins and ends after Y ends (inverse of allen:during)."@en ; skos:closeMatch time:intervalContains . allen:finishes a owl:ObjectProperty , owl:TransitiveProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "finishes"@en ; rdfs:comment "X and Y end at the same instant and X begins after Y begins."@en ; skos:closeMatch time:intervalFinishes . allen:finishedBy a owl:ObjectProperty , owl:TransitiveProperty ; owl:inverseOf allen:finishes ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "finishedBy"@en ; rdfs:comment "X and Y end at the same instant and Y begins after X begins (inverse of allen:finishes)."@en ; skos:closeMatch time:intervalFinishedBy . allen:equals a owl:ObjectProperty , owl:SymmetricProperty , owl:TransitiveProperty ; rdfs:domain vso:Perdurant ; rdfs:range vso:Perdurant ; rdfs:label "equals"@en ; rdfs:comment "X and Y begin at the same instant and end at the same instant."@en ; skos:closeMatch time:intervalEquals . ################################################################# # BEGIN GENERATED — scripts/annotate_ontology.py # # Do not edit by hand: `python3 scripts/annotate_ontology.py --write` # regenerates it, and `make check` fails while it is stale. # # One line per term this document declares, carrying the two annotations a # consumer of a MERGED graph cannot recover from the term IRI alone: # # rdfs:isDefinedBy the document to fetch for this term. VSON merges — the # header imports the two companion documents, and # site/v1/vson-full.ttl serves all three in one file — so # "which document is this term from" stops being answerable # by looking at where the bytes came from. # vs:term_status "stable": this term ships in a released vocabulary # version whose IRIs docs/vson.md §8.1 declares immutable # within v1.x. # # 13 term(s). ################################################################# allen:after rdfs:isDefinedBy ; vs:term_status "stable" . allen:before rdfs:isDefinedBy ; vs:term_status "stable" . allen:contains rdfs:isDefinedBy ; vs:term_status "stable" . allen:during rdfs:isDefinedBy ; vs:term_status "stable" . allen:equals rdfs:isDefinedBy ; vs:term_status "stable" . allen:finishedBy rdfs:isDefinedBy ; vs:term_status "stable" . allen:finishes rdfs:isDefinedBy ; vs:term_status "stable" . allen:meets rdfs:isDefinedBy ; vs:term_status "stable" . allen:metBy rdfs:isDefinedBy ; vs:term_status "stable" . allen:overlappedBy rdfs:isDefinedBy ; vs:term_status "stable" . allen:overlaps rdfs:isDefinedBy ; vs:term_status "stable" . allen:startedBy rdfs:isDefinedBy ; vs:term_status "stable" . allen:starts rdfs:isDefinedBy ; vs:term_status "stable" .