About: is a defining property chain axiom

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

About: is a defining property chain axiom 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	logical macro assertion on an axiom
label	is a defining property chain axiom
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 it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL
is subPropertyOf of	is a defining property chain axiom where second argument is reflexive
is topic of	OBO Relations Ontology
is awol:src of	proxy:entity/http/purl.obolibrary.org/obo/RO_0002581#content
is http://vocab.deri.ie/void#inDataset of	http://purl.obolibrary.org/obo/RO_0002581
is accessed of	nodeID://b662800781 nodeID://b662800782 nodeID://b665104438 nodeID://b665104439 nodeID://b665115749 nodeID://b665115751 nodeID://b665118736 nodeID://b665118737 nodeID://b665124579 nodeID://b665124580 nodeID://b665438115 nodeID://b665438116 nodeID://b665518612 nodeID://b665518613 nodeID://b665635951 nodeID://b665635952 nodeID://b665786045 nodeID://b665786046 nodeID://b666011942 nodeID://b666011943

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