2020-07-27 The Evidence Graph ontology extends core concepts from the W3C Provenance Ontology PROV-O and Bioschemas' Profiles to describe evidence for correctness of findings in biomedical publications. The semantic data model in EVI is expressed using OWL2 Web Ontology Language (OWL2). 2023-05-12 EVI: Evidence Graph Ontology evi 1.0 http://www.w3.org/2002/07/owl 1.1 Reverse of associatedWith property. associateFor A prov:Agent that has some responsibility for the occurrence of this prov:Activity is associatedWith the prov:Activity. associatedWith Reverse of challenges property. challengedBy The challenges property is entailed by property chain rule when a DigitalObject A either directly challenges another DigitalObject B, or indirectlyChallenges B by challenging a DigitalObject which supports it. challenges Reverse of contains property. containedBy Instances of DigitalObjects may contain instances of other DigitalObjects. contains The contentUrl property provides the access to the actual byes of the DigitalContent that can be downloaded and examined. contentUrl Reverse of createdBy property. created A prov:Agent is a creator of a prov:Entity if it is createdBy the Agent. createdBy The dataSchema property describes the content-level schema of a DigitalObject that may be distributed in one or more ways. dataSchema Reverse of usedDataset property. datasetUsedBy A derivation is a transformation of a prov:Entity into another, an update of a prov:Entity resulting in a new one, or the construction of a new prov:Entity based on a pre-existing prov:Entity. derivedFrom Reverse of derivedFrom property. derivedTo Reverse of describes property. describedBy The describes property is used when a Method, generally composed with a block of text, narrates a prov:Activity that takes place. describes Reverse of directlyChallenges property. directlyChallengedBy The directlyChallenges property establishes a relation between instances of DigitalObjects A and B when A asserts that B is wrong or deficient. It is non-transitive, entailing indirectlyChallenges properties on DigitalObjects supportedBy the DigitalObject it directlyChallenges, via a property chain rule. directlyChallenges The use of directlySupportedBy property is intended to establish a direct relation between instances of DigitalObjects. directlySupportedBy The directlySupports property is a non-transitive version of supports, a subproperty of supports. directlySupports is a superproperty of the properties attributed (inverse of attributedTo), derived (inverse of derivedFrom), associated (inverse of associatedWith), used, and generated (inverse of generatedBy). directlySupports Reverse of hasDistribution property. distributedFrom Reverse of generatedBy property. generated Generation is the completion of production of a new prov:Entity by a prov:Activity. This entity did not exist before generation and becomes available for usage after this generation. generatedBy Used to represent different forms of a DigitalObject. An image may be distributed as a JPEG, PNG, or SVG. hasDistribution Reverse of indirectlyChallenges property. indirectlyChallengedBy The indirectlyChallenges property establishes a relation between instances of DigitalObjects when one indirectly challenges the other entailed by property chaining. indirectlyChallenges Reverse of packages property. packagedBy Instances of software can be packaged by the instances of containers. packages Reverse of represents property. representedBy A DigitalObject represents an Entity or any of its features or feature sets. represents Reverse of usedService property. serviceUsedBy Reverse of usedSoftware property. softwareUsedBy The supportedBy property is a transitive relation between DigitalObjects. supportedBy The supports property is a transitive relation between DigitalObjects entailed by its subproperty, directlySupports, which is non-transitive. In EvidenceGraphs, if A supports B, then the correctness (truth value) of A provides a warrant for belief in the correctness (truth value) of B. supports An Activity used an Entity, when the Entity (such as a Dataset or a Software) was instrumental in enabling that Activity to occur. used Reverse of used property. usedBy The property usedDataset is a subproperty of used where domain is Computation and range is Dataset. usedDataset The property usedService is a subproperty of used where domain is Computation and range is Service. usedService The property usedSoftware is a subproperty of used where domain is Computation and range is Software. usedSoftware The author of the content. schema:author File size in (tera/giga/mega/kilo) bytes. schema:contentSize Date when the item was created. schema:dateCreated The date when the item was modifed last. schema:dateModified Date when the item was first published. schema:datePublished A description of the item. schema:description The format of the item in question encoded into. schema:encodingFormat The endTime of something. For a reserved event or service (e.g. FoodEstablishmentReservation), the time that it is expected to end. For actions that span a period of time, when the action was performed. e.g. John wrote a book from January to December. For media, including audio and video, it's the time offset of the end of a clip within a larger file. Note that Event uses startDate/endDate instead of startTime/endTime, even when describing dates with times. This situation may be clarified in future revisions. schema:endTime Media type, typically MIME format (see IANA site) of the content e.g. application/zip of a SoftwareApplication binary. In cases where a CreativeWork has several media type representations, 'encoding' can be used to indicate each MediaObject alongside particular fileFormat information. Unregistered or niche file formats can be indicated instead via the most appropriate URL, e.g. defining Web page or a Wikipedia entry. schema:fileFormat The identifier property represents any kind of identifier for any kind of Thing, such as ISBNs, GTIN codes, UUIDs etc. Schema.org provides dedicated properties for representing many of these, either as textual strings or as URL (URI) links. schema:identifier Keywords or tags used to describe some item. Multiple textual entries in a keywords list are typically delimited by commas, or by repeating the property. schema:keywords A license document that applies to this content, typically indicated by URL. schema:license The name of the item. schema:name Runtime platform or script interpreter dependencies (example: Java v1, Python 2.3, .NET Framework 3.0). schema:runtime The startTime of something. For a reserved event or service (e.g. FoodEstablishmentReservation), the time that it is expected to start. For actions that span a period of time, when the action was performed. e.g. John wrote a book from January to December. For media, including audio and video, it's the time offset of the start of a clip within a larger file. Note that Event uses startDate/endDate instead of startTime/endTime, even when describing dates with times. This situation may be clarified in future revisions. schema:startTime The title of a Thing. schema:title The version of the DigitalObject. schema:version Any additional information of the item that may be useful. additionalDocumentation Refenrece to the publications where the item or its relevant information can be discovered. associatedPublication The (digital/physical) name where the item was published. publicationVenue Textual representation of a claim state An article, such as a news article or piece of investigative report. Newspapers and magazines have articles of many different types and this is intended to cover them all. schema:Article A Claim in Schema.org represents a specific, factually-oriented claim that could be the itemReviewed in a ClaimReview. The content of a claim can be summarized with the text property. Variations on well known claims can have their common identity indicated via sameAs links, and summarized with a name. Ideally, a Claim description includes enough contextual information to minimize the risk of ambiguity or inclarity. In practice, many claims are better understood in the context in which they appear or the interpretations provided by claim reviews. Beyond ClaimReview, the Claim type can be associated with related creative works - for example a ScholaryArticle or Question might be about some Claim. At this time, Schema.org does not define any types of relationship between claims. This is a natural area for future exploration. schema:Claim A body of structured information describing some topic(s) of interest. schema:Dataset An organization such as a school, NGO, corporation, club, etc. schema:Organization A person (alive, dead, undead, or fictional). schema:Person A service provided by an organization, e.g. delivery service, print services, etc schema:Service A software application. schema:SoftwareApplication Computer programming source code. Example: Full (compile ready) solutions, code snippet samples, scripts, templates. schema:SoftwareSourceCode owl:Thing A bundle is a named set of provenance descriptions, and is itself an Entity, so allowing provenance of provenance to be expressed. prov:Bundle A Service is considered a SoftwareAgent that can be invoked and executed. A Software is different from SoftwareAgent in the context that it can be downloaded. prov:SoftwareAgent Article An Article is a (typically compound) textual document conveying a set of Claims and other DigitalObjects. Among these, an Article in EVI always conveys an assertion of its authorship in the form of a bibliographic self-reference. Article Claim A Claim is a declarative sentence or assertion. Claims are defeasible. Claim Computation Computation is an Activity performed on a Dataset with the help of a Software. Computation Container A container is a digital object that can be defined as packages of software. Instances of containers are accompanied by all necessary dependencies such as specific versions, runtime environment and required libraries for execution. Container Dataset A body of structured information describing some topic(s) of interest. Dataset DigitalContent DigitalContent DigitalObject A DigitalObject is an Entity which represents another Entity. DigitalObjects are always attributedTo an Agent, their creator, contributor, influencer or to an Activity they were generatedBy. DigitalObject Distribution The placement of instances of DigitalObjects. A single DigitalObject may be represented in multiple forms, hence resulting in multiple distributions. An Image can be encoded and distributed as any of the JPEG, PNG, SVG. Distribution EvidenceGraph An EvidenceGraph is a directed acyclic graph Ev = (Rn, r+, r-) where Rn is a set of Representations, r+ ∈ RnXRn is a set of supports relations, r- ∈ RnXRn is a set of challenge relations, and R+∩R- = Φ. EvidenceGraphs are bipolar argumentation frameworks (Cayrol & Lagasquie-Schiex, 2009) represented as RDF named graphs. EvidenceGraph Image An Image is a visual representation of structured or unstructured data produced digitally. Image Method A descriptive recipe describing how a Representation is made or obtained. It describes an Activity, and may referTo some Material as a component of the recipe. Method Reference A Reference is a bibliographic record. References are Representations which represent and attribute archived digital or bibliographic objects, including Articles, Datasets, and Software. Reference Schema A semi-structured interpretation of instances of DigitalObjects that can help comprehend the content. Schema Service A Service is an Activity accessed online, which executes a Computation. Service Software Software is a specific set of computer-interpretable instructions to perform one or more Computations. Software An Activity is a process by which an Entity is produced, modified, consumed or used. prov:Activity An Agent is an autonomous Entity. Persons and Organizations are Agents in EVI. Agents may be associatedWith Activities, and Entities may be attributedTo Agents. prov:Agent An Entity is a physical, digital, conceptual, or other kind of thing with some fixed aspects. prov:Entity An Organization is a social or legal institution with structure and purpose such as a company, society, university, sports team, etc. prov:Organization A Person is a human Agent. prov:Person 2020-07-27 The Evidence Graph ontology extends core concepts from the W3C Provenance Ontology PROV-O and Bioschemas' Profiles to describe evidence for correctness of findings in biomedical publications. The semantic data model in EVI is expressed using OWL2 Web Ontology Language (OWL2). 2023-05-12 EVI: Evidence Graph Ontology evi 1.0 http://www.w3.org/2002/07/owl 1.1 1.1 An entity responsible for making the resource. Examples of a creator include a person, an organization, or a service i.e. a SoftwareAgent. Typically, the name of a creator should be used to indicate the entity. terms:creator true S1