On Thu, Nov 8, 2012 at 12:52 PM, Janna Hastings
<
janna.h...@gmail.com> wrote:
> you need a "closure axiom" in OWL to close your world for you: :AorB
> EquivalentTo (:A or :B)
I guess that will work for tautomers, or at least in any situation
where we know :A or :B (and then we might as well define them as
subclasses)... but not for "measured metabolite" where the number of
options grows very quickly...
But what is clear to me, is that I can just subclass molecular entity
and just define a class just like I want it...
:PartiallyDefinedMolecularEntity rdfs:subClassOf :MolecularEntity ;
dc:description "A molecular entity of well-defined but not fully
defined structural elements, including constitutional, and
stereochemical chemistry. As such, it can be one of the (limited
number of) subclasses with exact chemical structure."
A third use case would be:
:leucine rdfs:subClassOf :PartiallyDefinedMolecularEntity .
:DLeucine rdfs:subClassOf :leucine .
:LLeucine rdfs:subClassOf :leucine .
The latter two may just not be defined or not communicated. The number
of those triples may be really large... with the
:PartiallyDefinedMolecularEntity I know that some structural
information is not unknown but not defined for this entity...