Hi Sebastian, I have tried to reproduce the case described in p.1 on a empty v6.1 database, but it seem to work, no error after restart or when doing SPARQL queries. Please could you provide the data which is loaded ?
Best Regards, Mitko On Feb 11, 2010, at 9:39 AM, Sebastian Hellmann wrote: > Hello, > I experimented with the new reasoning features and there are some issues. > I already solved them and just want to give you some feedback. > The features and the speed of reasoning are quite awesome, good work > <thumbs up>. > > Here is one small question: > If my:trans is a transitive Property and I query: > ?s my:trans ?class. ?class a my:Person. > Will the inference engine's answer be complete and combinable? > > Here is a list of strange errors I encountered with V6.1.0. > I can provide you with the data and test queries, if you are interested. > I don't need answers for these, as for me they are already fixed. > > 1. CREATE BITMAP index RDF_QUAD_PSOG on DB.DBA.RDF_QUAD (P,S,O,G); > Other indexes worked, but the PSOG messed up the DB. After restarting I > got the message: > Error executing a server init statement : 22023: JSO_LOAD_GRAPH has not > found expected metadata in the graph -- DB.DBA.RDF_QUAD_FT_UPGRADE () > and executing a query with " define input:inference" I got this message: > JSO_LOAD_GRAPH has not found expected metadata in the graph > So server was loading data and index well, but after restarting it > didn't work any more. > > 2. At first, I loaded an Ontology for reasoning, containing some blanknodes: > > my:SyntacticNode rdfs:subClassOf _:bn1 . > _:bn1 owl:minCardinality "1"^^xsd:nonNegativeInteger . > _:bn1 owl:onProperty my:hasTag . > _:bn1 rdf:type owl:Restriction . > > Whenever I was querying some high classes in the hierarchy, the query > took over 400 seconds and brought the wrong result. So there might be a > glitch there. > > 3. Inferencing doesn't seem to be compatible with Vectors, so for the > pattern: > ?instance a ?class > this still works: > Filter ( ?class = my:Person ) > But these do not: > Filter ( ?class = my:Person || ?class = my:Student ) > Filter ( ?class in ( my:Person, my:Student) ) > > I'm not sure if this is a bug, might be a new feature. > > Dataset: > 8 million triples instance data > About 1000 schema triples with subclassof, inverseof and transitive > properties > > > Regards, > Sebastian, AKSW > -- > > Dipl. Inf. Sebastian Hellmann > Department of Computer Science, University of Leipzig > Homepage: http://bis.informatik.uni-leipzig.de/SebastianHellmann > Research Group: http://aksw.org > > > ------------------------------------------------------------------------------ > SOLARIS 10 is the OS for Data Centers - provides features such as DTrace, > Predictive Self Healing and Award Winning ZFS. Get Solaris 10 NOW > http://p.sf.net/sfu/solaris-dev2dev > _______________________________________________ > Virtuoso-users mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/virtuoso-users -- Mitko Iliev Developer Virtuoso Team OpenLink Software http://www.openlinksw.com/virtuoso Cross Platform Web Services Middleware
