I do see that declared:
Looking at the TTL source code online, I get
:SoftwareAgent
a owl:Class ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
rdfs:label "SoftwareAgent" ;
rdfs:subClassOf :Agent ;
:category "expanded" ;
:component "agents-responsibility" ;
:definition "A software agent is running software."@en ;
:dm
"http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-agent"^^xsd:anyURI ;
:n
"http://www.w3.org/TR/2013/REC-prov-n-20130430/#expression-types"^^xsd:anyURI .
Maybe you have a different copy?
Holger
On 8/05/2018 15:33, Rob Atkinson wrote:
note that if i import the PROV ontology, but dont include any subclass
axioms, it shows "SoftwareAgent" as the sole subclass of owl:Thing.
I dont see this declared specifically in prov code.
Rob
On 8 May 2018 at 12:22, Irene Polikoff <[email protected]
<mailto:[email protected]>> wrote:
No, it doesn’t find anything arbitrary. By default, the root of
the tree is owl:Thing (you can change it). The tree will display
all subclasses of its root and then for each child, its subclasses
and so on.
If owl:Thing has no subclasses, you will see nothing but owl:Thing.
On May 7, 2018, at 10:16 PM, Rob Atkinson
<[email protected] <mailto:[email protected]>> wrote:
Ok, I was about to respond... right, the class tree in the
SWA applications needs to use asserted rdfs:subClassOf
triples - the automated inferences that TBC makes are not
visible.
That seems a pretty critical piece of behaviour which ought to
have big(ger?) flags in the documentation - and it seems to
choose something arbitrary if it doesnt find anything? (maybe it
create a help message as a virtual class to inform if no
subclasses are present.)
OK - is it possible then for it to be clever and import a SPIN
rule which finds what entities are present then asserts the
necessary subclass axioms? Does such a thing already exist?
I would appreciate a quick recipe for exactly how to do this - I
havent yet got up to working out how to automate SPIN processing
- I want some "system" rules to happen automatically but be able
to invoke other SPIN rules manually in SWP interfaces FYI
rob
on another front:
file 1( which shoiws correct class hierarchy in EDG, but
doesnt show imports in TBC )
TBC assigned a default baseURI
file:///C:/repos/surround/provrules/pizza_example/out/pizza_prov_out.ttl
when I change this in the baseURI and named Ontology in the
file to:
http://www.co-ode.org/ontologies/pizza/pizza_prov_out/
<http://www.co-ode.org/ontologies/pizza/pizza_prov_out/>
TBC then displayed import correctly.
I guess the owl:imports statements were dangling off the
<http://www.co-ode.org/ontologies/pizza/pizza_prov_out/>
<http://www.co-ode.org/ontologies/pizza/pizza_prov_out/>
resource which was not identical to the declared base URI. It
seems that you have fixed that.
Holger
(I still need to allocate time for your other, longer, email)
On Tuesday, 8 May 2018 10:44:22 UTC+10, Rob Atkinson wrote:
Ahh - it seems top have dumped the screenshots...
I'm talk about two ontologies which import the same
class model showing different set of classes in the
class navigator pane (North-west) in a SWA template -
but the same classes if i open them in TBC
Rob
On Friday, 4 May 2018 13:11:48 UTC+10, Holger Knublauch
wrote:
Sorry, I need more details to be helpful.
Are you referring to the class hierarchy view, or
what is shown on the main area (forms)? What sort of
instances are you looking at?
Holger
On 4/05/2018 12:29, Rob Atkinson wrote:
I have a SWA template based application that shows
me different class models in the class navigator
depending on which of two simple graphs I view -
even though they import the same model ontology.
What controls what is shown in the Class navigator
- in fact customising this is the next step but
first I need to find out what its sensitive to...
--
Rob Atkinson
e: [email protected]
w: http://www.surroundaustralia.com
<http://www.surroundaustralia.com/>
m: +61 419 202973
Location: Wollongong - Australia (61)
______________________________
Copyrights:
SURROUND Australia Pty Ltd is the copyright owner
of all original content and attachments.
All rights reserved.
Confidentiality Notice:
The contents of this e-mail are confidential to the
ordinary user of the e-mail address to which it is
addressed and may also be privileged. If you are
not the addressee of this e-mail you may not copy,
forward, disclose or otherwise use it or any part
of it or its attachments in any form whatsoever. If
you have received this e-mail in error please
e-mail the sender by replying to this message.
______________________________
--
You received this message because you are
subscribed to the Google Groups "TopBraid Suite
Users" group.
To unsubscribe from this group and stop receiving
emails from it, send an email to
[email protected].
For more options, visit
https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails
from it, send an email to
[email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from
it, send an email to
[email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the
Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout
<https://groups.google.com/d/optout>.
--
You received this message because you are subscribed to the Google
Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to [email protected]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "TopBraid
Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
