Not logged in : Login
(Sponging disallowed)

About: partially overlaps     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FRO_0002151

AttributesValues
Type
subPropertyOf
in_subset
has curation status
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
editor note
  • 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
alternative term
  • proper overlaps
first order logic expression
  • (forall (?x ?y) (iff (proper_overlaps ?x ?y) (and (overlaps ?x ?y) (not (part_of ?x ?y)) (not (part_of ?y ?x)))))
temporal interpretation
label
  • partially overlaps
described by
is onProperty of
is topic of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Sep 9 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software