Stanley; What you are describing is the RDFS inference for
rdfs:subClassOf. For example, Composer's  Instances View shows all
rdfs:subClassOf inferences by default.  You can turn this inference
off by un-selecting "Show indirect instances" in the context menu for
the Instances View.

A common misconception is the rdfs:subClassOf inferencing is defined
when the rdfs:subClassOf property is created.  RDFS works differently
than OO paradigms in that class membership is computed by inferencing,
not pre-defined at compile time.  This allows the definition of class
membership to be modified depending on run-time characteristics.
rdfs:Class/owl:Class are more accurately thought of as containers for
set membership than instances in the OO sense.

Ensemble is a Web-based thin client interface.  All data processing
occurs on the server back-end, TopBraid Live.  Ensemble invokes back-
end processing though SPARQLMotion scripts and this is where you can
set up data processing such as OWL inferencing.  Take a quick look at
http://www.topquadrant.com/products/TBS_FAQ.html#TBE4 for a start.  We
will augment this with a detailed example of how to perform OWL
inference by the end of the day.

If you are using TBL Personal Server (TBC-ME running on localhost:
8083), then you can open you model and run inferences on it.  Ensemble
will read the file (via the file's base URI) from memory and display
all asserted and inferred triples.

-- Scott

On May 16, 9:20 am, Stanley <[email protected]> wrote:
> I have a  question about Instance
>
> In Ontology, Classes may be organized into a superclass-subclass
> hierarchy, which is also known as taxonomy. For example consider the
> classes A+ and A;
> A might be a subclass of A+.
> This says that “All A are A+”.
> All instance that are members of the class A are members of the class A
> +
>
> But when I open TBE and click the class A+ on the "tree form" I can't
> see any instance of class A on the "results grid". I have to click
> calss A, the I coult find the instance of class A on the results grid.
>
> what should I do?

-- 
You received this message because you are subscribed to the Google
Group "TopBraid Suite Users", the topics of which include TopBraid Composer,
TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN.
To post to this group, send email to
[email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/topbraid-users?hl=en

Reply via email to