About: is a defining property chain axiom where second argument is reflexive

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: is a defining property chain axiom where second argument is reflexive Goto Sponge NotDistinct Permalink

An Entity of Type : owl:AnnotationProperty, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	AnnotationProperty
subPropertyOf	is a defining property chain axiom
label	is a defining property chain axiom where second argument is reflexive
described by	proxy:entity/http/purl.obolibrary.org/obo/ro.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro.owl
has a SPARQL endpoint at	http://covidontheweb.inria.fr:8890/sparql/
definition	If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R.
is topic of	OBO Relations Ontology
is awol:src of	proxy:entity/http/purl.obolibrary.org/obo/RO_0002582#content
is http://vocab.deri.ie/void#inDataset of	http://purl.obolibrary.org/obo/RO_0002582
is accessed of	nodeID://b662799039 nodeID://b662799040 nodeID://b664389955 nodeID://b664389956 nodeID://b664389963 nodeID://b664389964 nodeID://b664432284 nodeID://b664432285 nodeID://b664432286 nodeID://b664432287 nodeID://b664432288 nodeID://b664432289 nodeID://b664432292 nodeID://b664432293 nodeID://b664432296 nodeID://b664432297 nodeID://b665384528 nodeID://b665384529

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software