Jürgen Jakobitsch wrote:
kingsley thank you very much for
your support and patience!
i'm coming to terms now with virtuoso inference.
for people used to owlim it is important to note
that in most cases it is necessary to know t-box
to ask the right questions (sparql-wise) and that
some things are hard to implement, one example being :
implementation of virtuoso-sesame-adapters getStatement
method which just takes subject predicate and object
as params - with boolean includeInferred set to true
will hardly meet expectations on different ontologies.
I don't quite get what you mean re. different ontologies.
We see ontologies as Data Dictionaries / Schemas with Description Logics
enhancements (basically kbase TBox). We also see REST communications
patter via HTTP as a mechanism for working with Distributed Data
Dictionaries and Instance Data via SPARQL (or indirectly, in non RESTful
client-server style via ODBC, JDBC, ADO.NET etc. using SPASQL).
Fundamentally, we expect the user of Reasoning to have a fundamental
sense of which Data Dictionary (TBox) forms the basis of such endeavors
i.e., you must know what your base model assumptions are re. "World
View" since these are ultimately subjective.
Remember, we are a backward chained inference engine. We incorporate our
engine into SPARQL i.e., you control the solution via SPARQL + pragmas
(which are all SPARQL to Virtuoso).
nevertheless 6.1 has some significant improvements
in the field of reasoning.
Yes, a nice addition to what we already had e.g: owl:sameAs,
owl:inverseFunctionalProperty, owl:equivalentClass, rdfs:subClassOf,
rdfs:subPropertyOf :-)
Kingsley
congrats!
wkr turnguard.com/turnguard
----- Original Message -----
From: "Kingsley Idehen" <kide...@openlinksw.com>
To: virtuoso-users@lists.sourceforge.net
Sent: Saturday, February 6, 2010 5:15:41 PM
Subject: [Virtuoso-users] FIX: CORRECTION 6.1 owl support
All,
Cleaner version of the SKOS based example re. new Virtuoso Inference
Rules capabilities.
In my last post I had a potentially confusing entry for grabbing the
SKOS ontology (which isn't required and commented out).
The entry is removed from this version
## Cleanup
CLEAR GRAPH <urn:owl.test2.tbox>
CLEAR GRAPH <http://turnguard.com/virtuoso/test10.rdf>
##Load Instance Data into Quad Store
## PL Procedure
-- SQL realm
DB.DBA.RDF_LOAD_RDFXML (http_get
('http://www.w3.org/2009/08/skos-reference/skos-owl1-dl.rdf'), 'no',
'urn:owl.test2.tbox');
DB.DBA.RDF_LOAD_RDFXML (http_get ('http://www.w3.org/2002/07/owl.rdf'),
'no', 'urn:owl.test2.tbox');
DB.DBA.RDF_LOAD_RDFXML (http_get
('http://turnguard.com/virtuoso/test10.rdf'), 'no',
'http://turnguard.com/virtuoso/test10.rdf');
##
select * from <http://www.w3.org/2004/02/skos/core>
where {
{<http://www.w3.org/2004/02/skos/core#related> ?p ?o}
union
{?s ?p <http://www.w3.org/2004/02/skos/core#related> }
}
##Create Rules
-- SQL Realm
rdfs_rule_set ('urn:owl.test2.rules', 'urn:owl.test2.tbox');
##Transitivity Query re. SKOS concept hierarchy
DEFINE input:inference "urn:owl.test2.rules"
PREFIX skos: <http://www.w3.org/2004/02/skos/core#>
SELECT *
FROM <http://turnguard.com/virtuoso/test10.rdf>
WHERE
{
<http://www.turnguard.com/ElectroPop> skos:broaderTransitive ?o OPTION
(T_DISTINCT).
}
--
Regards,
Kingsley Idehen
President & CEO
OpenLink Software
Web: http://www.openlinksw.com
Weblog: http://www.openlinksw.com/blog/~kidehen
Twitter/Identi.ca: kidehen
