Property:Emmo:oWL2DLRestrictedAxiom

OWL2DLRestrictedAxiom
ID	Emmo:oWL2DLRestrictedAxiom
UUID	c6e77b51-681b-4d04-b20d-a08f2b977470
Label	OWL2DLRestrictedAxiom
Machine compatible name	oWL2DLRestrictedAxiom
Statements (outgoing)
Statements (incoming)

Description

Axiom not included in the theory because of OWL 2 DL global restrictions for decidability.

Property
subproperty_of<br>Definition: Property	Item:OSW4dea04fbb4d85d77b75d84cddc0ccd0d
Imported fromA prefixed IRI defining this entry as a imported term. In OSW the prefix must be a registered imported ontology.<br>Definition: Property	emmo:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470
nameFor properties this value is the primary identifier.<br>Definition: Entity, Property	oWL2DLRestrictedAxiom

AnnotationProperty
property_typesee https://www.semantic-mediawiki.org/wiki/Help:List_of_datatypes<br>Definition: Property, AnnotationProperty	Text

Attachments

Description:

📎 Select files (or drop them here)... 📷 Camera

jsondata

rdf_type	"owl:AnnotationProperty"
uuid	"c6e77b51-681b-4d04-b20d-a08f2b977470"
iri	"https://w3id.org/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470"
name	"oWL2DLRestrictedAxiom"
label	text "OWL2DLRestrictedAxiom" lang "en"
description	text "Axiom not included in the theory because of OWL 2 DL global restrictions for decidability." lang "en"
meta	uuid "54516f36-bdf8-467e-be20-5ea297595416" wiki_page title "emmo:oWL2DLRestrictedAxiom" namespace "Property" change_id "4caad4a3-8d2d-4691-8196-627860411931"
imported_from	"emmo:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470"
property_type	"Text"
subproperty_of	"Item:OSW4dea04fbb4d85d77b75d84cddc0ccd0d"
type	"Category:AnnotationProperty"