You can track the origin of each triple in TBC if you move/hover your
mouse over the icon of the triple.
Right, what I sent before is by itself no explanation for the
rdfs:subClassOf owl:Thing triple. Both the TTL and the RDF/XML file from
that site contains that triple in a second definition (see for example
https://www.w3.org/ns/prov.rdf)
<owl:Class rdf:about="http://www.w3.org/ns/prov#SoftwareAgent">
<rdfs:label>SoftwareAgent</rdfs:label>
<rdfs:subClassOf
rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
which looks like an error - you may want to contact the relevant W3C
group about this.
In TTL there are actually two definitions:
: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 .
:SoftwareAgent
a owl:Class ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov#> ;
rdfs:label "SoftwareAgent" ;
rdfs:subClassOf owl:Thing ;
:category "expanded" ;
:component "agents-responsibility" ;
:definition "A software agent is running software."@en ;
:dm
"http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-dm.html#term-agent"^^xsd:anyURI
;
:n
"http://www.w3.org/TR/2012/WD-prov-dm-20120703/prov-n.html#expression-types"^^xsd:anyURI
.
Holger
On 8/05/2018 15:47, Rob Atkinson wrote:
i have that - but I also notice I have other subclasses such as
:Collection
a owl:Class ;
rdfs:isDefinedBy <http://www.w3.org/ns/prov-o#> ;
rdfs:label "Collection" ;
rdfs:subClassOf :Entity ;
:category "expanded" ;
:component "collections" ;
:definition "A collection is an entity that provides a structure to some
constituents, which are themselves entities. These constituents are said to be member of
the collections."@en ;
:dm
"http://www.w3.org/TR/2013/REC-prov-dm-20130430/#term-collection"^^xsd:anyURI .
but this doenst seem to entail the same ? (how do I search in TBC for
the graph containing a subject, or with a specific namespace ?)
On 8 May 2018 at 15:38, Holger Knublauch <hol...@topquadrant.com
<mailto:hol...@topquadrant.com>> wrote:
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#>
<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"
<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"
<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 <ir...@topquadrant.com
<mailto:ir...@topquadrant.com>> 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
<robatkinson...@gmail.com <mailto:robatkinson...@gmail.com>>
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: rob.at...@surroundaustralia.com
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
topbraid-user...@googlegroups.com.
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
topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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
topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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
topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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
topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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 topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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 topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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 topbraid-users+unsubscr...@googlegroups.com
<mailto:topbraid-users+unsubscr...@googlegroups.com>.
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 topbraid-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.