About: partially overlaps   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : taxref.i3s.unice.fr associated with source document(s)

AttributesValues
rdf:type
subPropertyOf
label
  • partially overlaps
in_subset
http://purl.obolib...g/obo/IAO_0000114
definition
  • x partially overlaps y iff there exists some z such that z is part of x and z is part of y, and it is also the case that neither x is part of y or y is part of x
http://purl.obolib...g/obo/IAO_0000116
  • We would like to include disjointness axioms with part_of and has_part, however this is not possible in OWL2 as these are non-simple properties and hence cannot appear in a disjointness axiom
http://purl.obolib...g/obo/IAO_0000118
  • proper overlaps
http://purl.obolib...g/obo/IAO_0000426
  • (forall (?x ?y) (iff (proper_overlaps ?x ?y) (and (overlaps ?x ?y) (not (part_of ?x ?y)) (not (part_of ?y ?x)))))
http://purl.obolib...rg/obo/RO_0001900
Faceted Search & Find service v1.13.91 as of Jun 18 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3217 as of Jun 15 2018, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (31 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software