Property:OWL2DLRestrictedAxiom (Emmo:oWL2DLRestrictedAxiom)

The property contains the following errors or warnings:

Only pages in namespace "Property" are allowed here.

A type declaration was detected that is incompatible with the predefined type of the imported "Emmo:oWL2DLRestrictedAxiom" vocabulary. In general, it is not necessary to declare a type because information are retrieved from the import definition.

VisualWikitext

@@ Line 4: / Line 4: @@
      ],
      "uuid": "c6e77b51-681b-4d04-b20d-a08f2b977470",
-     "iri": "emmo:EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470",
+     "iri": "https://w3id.org/emmo#EMMO_c6e77b51_681b_4d04_b20d_a08f2b977470",
      "name": "oWL2DLRestrictedAxiom",
      "label": [
@@ Line 19: / Line 19: @@
      ],
      "meta": {
-         "uuid": "d1be508f-143b-427f-86a8-c829c6bc97a4",
+         "uuid": "54516f36-bdf8-467e-be20-5ea297595416",
          "wiki_page": {
              "title": "emmo:oWL2DLRestrictedAxiom",

Latest revision as of 05:18, 1 March 2025

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"