About: logical macro assertion   Goto Sponge  NotDistinct  Permalink

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

AttributesValues
rdf:type
label
  • logical macro assertion
foaf:page
  • https://github.com/oborel/obo-relations/wiki/ShortcutRelations
definition
  • An assertion that involves at least one OWL object that is intended to be expanded into one or more logical axioms. The logical expansion can yield axioms expressed using any formal logical system, including, but not limited to OWL2-DL.
is subPropertyOf of
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-2024 OpenLink Software