About: logical macro assertion

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

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)

Attributes	Values
rdf:type	AnnotationProperty
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	logical macro assertion on a class logical macro assertion on a property logical macro assertion on an axiom logical macro assertion involving identity

Faceted Search & Find service v1.13.91 as of Jun 18 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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