Property:LogicalODPKnownUse
From Odp
This is a property of type Text.
Pages using the property "LogicalODPKnownUse"
Showing 3 pages using this property.
E | |
|---|---|
| Enlarge Class Definition for Resolving Disjointness due to Subsomption + | This pattern is proposed as another solution to the problem solved by the Logical OP "Define Hybrid Class Resolving Disjointness due to Subsumption" |
N | |
| Normalization + | See [[Community:References/Modularisation of domain ontologies implemented in description logics and related formalisms including owl 3|(Rector, 2003)]] |
S | |
| Symmetric n-ary relationship + | Geobuddies ontology network |
