Cross-Ontology Diff

A datamodel for representing the results of relational diffs across a pair of ontologies connected by mappings

URI: https://w3id.org/oak/cross-ontology-diff

Name: cross-ontology-diff

Classes

Class	Description
RelationalDiff	A relational diff expresses the difference between an edge in one ontology, and an edge (or lack of edge) in
another ontology (or a different version of the same ontology). The diff is from the perspective of one
ontology (the one on the “left” side).

For every edge in the left ontology, the subject and object are mapped to the right ontology. If mappings cannot be found then the diff is categorized as missing mappings. The predicate is also mapped, with the reflexivity assumption.

for every mapped subject and object pair (the “right” subject and object), the entailed relationship is examined to determine if it consistent with the left predicate.

left_object    <--- mapped to ---> right_object
   ^                                  ^
   |                                  |
   |                                  |
   | left                             | right
   | predicate                        | predicate
   |                                  |
   |                                  |
left_subject   <--- mapped to ---> right_subject

The above figure gives hows the basic structure. Classification of the edge is done from the perspective of the left edge. | | StructureDiffResultSet | A collection of relational diff results |

Slots

Slot	Description
category	Each match (or lack of match) is placed into exactly one category
is_functional	Maps to exactly one thing
label	human readable label
left_object_id	The object (parent) of the source/left edge
left_object_is_functional	True if an object mapping is present, and maps uniquely within the same ontol…
left_object_label	The name of the object (parent) of the source/left edge
left_predicate_id	The predicate (relation) of the source/left edge
left_predicate_label	The name of the predicate of the source/left edge
left_side	The first ontology is arbitrarily designated the left side
left_source	Ontology source for left entities
left_subject_id	The subject (child) of the source/left edge
left_subject_is_functional	True if a subject mapping is present, and maps uniquely within the same ontol…
left_subject_label	The name of the subject (child) of the source/left edge
object	The object node on left or right side
object_mapping_cardinality	The mapping cardinality of the object pair
object_mapping_predicate	The mapping predicate that holds between left_object_id and right_object_id
predicate	The relationship type between subject and object on left or right side
results	all differences between a pair of ontologies
right_intermediate_ids
right_object_id	The object (parent) of the matched/right edge, if matchable
right_object_label	The name of the object (parent) of the matched/right edge, if matchable
right_predicate_ids	* If the match type is consistent, then all consistent predicates
right_predicate_labels	The names corresponding to the right_predicate_ids
right_side	The second ontology is arbitrarily designated the right side
right_source	Ontology source for right entities
right_subject_id	The subject (child) of the matched/right edge, if matchable
right_subject_label	The name of the subject (child) of the matched/right edge, if matchable
side	left or right side
subject	The child node on left or right side
subject_mapping_cardinality	The mapping cardinality of the subject pair
subject_mapping_predicate	The mapping predicate that holds between left_subject_id and right_subject_id

Enumerations

Enumeration	Description
DiffCategory	Category of the cross-ontology diff, from the perspective of the left-hand ed…
MappingCardinalityEnum

Types

Type	Description
Boolean	A binary (true or false) value
Curie	a compact URI
Date	a date (year, month and day) in an idealized calendar
DateOrDatetime	Either a date or a datetime
Datetime	The combination of a date and time
Decimal	A real number with arbitrary precision that conforms to the xsd:decimal speci…
Double	A real number that conforms to the xsd:double specification
EntityReference	A reference to a mapped entity
Float	A real number that conforms to the xsd:float specification
Integer	An integer
Jsonpath	A string encoding a JSON Path
Jsonpointer	A string encoding a JSON Pointer
Label	A string that is used as a human-readable label
Ncname	Prefix part of CURIE
Nodeidentifier	A URI, CURIE or BNODE that represents a node in a model
Objectidentifier	A URI or CURIE that represents an object in the model
Source	The name of an ontology that acts as a source
Sparqlpath	A string encoding a SPARQL Property Path
String	A character string
Time	A time object represents a (local) time of day, independent of any particular…
Uri	a complete URI
Uriorcurie	a URI or a CURIE

Subsets

Subset	Description