Denigma

Change - OWL 1

Created on March 11, 2013, 4:23 p.m. by Hevok & updated on March 11, 2013, 4:24 p.m. by Hevok

OWL1 DL is based on the Description Logic SHOIN(D). ¶

S Transitivity of Properties
</span><del style="background:#ffe6e6;">S</del><ins style="background:#e6ffe6;">H</ins><span>
 Subproperty Relationships
</span><del style="background:#ffe6e6;">H</del><ins style="background:#e6ffe6;">O</ins><span>
 Nominals / Closed Classes
 </span><del style="background:#ffe6e6;">O</del><ins style="background:#e6ffe6;">I</ins><span>
 Inverse Properties
</span><del style="background:#ffe6e6;">I</del><ins style="background:#e6ffe6;">N</ins><span>
 Number Restrictions
</span><del style="background:#ffe6e6;">N</del><ins style="background:#e6ffe6;">D</ins><span>
* Datatypes D

Tags: definition markup ontology logic
Comment: Changed appearence of letters in bulle list points.

Comment on This Data Unit