Hi Andy, no joy yet.
On Wed, 2015-06-24 at 22:36 +0100, Andy Seaborne wrote:
> On 24/06/15 21:37, Paul Tyson wrote:
> > Before working through the configuration of an ontology model in
> > fuseki2, I wanted to ask if anyone has experience with large models.
> >
> > I estimate there will be 250K class definitions, about 40M triples.
>
> That's not that large :-)
> (There are installations I've worked with x10 that many triples).
>
> What hardware are you running on?
I just took a small sample (500 class definitions), and am running on a
Windows laptop with 4Gb memory.
>
> >
> > My queries will be for instance checking:
> >
> > select ?class
> > where {
> > _:a rdf:type ?class;
> > ex:p1 "v1";
> > ex:p2 <R1>;
>
> Well, depending on the frequencies of
>
> ? ex:p1 "v1"
> and
> ? ex:p2 <R1>
>
> that query will be quite fast. i.e. if there is a property-object that
> selects a few resources (100s), then that 's no much of a stress test
> should work fine.
I specified OWL_MEM_MICRO_RULE_INF for the OntModel. Fuseki grinds on
this query for a long time (more than 30 minutes) and consumes all
memory and cpu.
>
> > # ...all properties of _:a
> > .
> > }
> >
> > Is there hope of fast performance in this scenario?
>
> Yes.
To be clear, my class definitions are like:
<Class1> owl:equivalentClass [owl:intersectionOf (
[owl:unionOf (<A1> <A2> ...)]
[owl:unionOf (<B1> <B2> ...)]
)];
<A1> owl:equivalentClass [owl:Restriction;
owl:onProperty ex:p1;
owl:hasValue "v1"].
<B1> owl:equivalentClass [owl:Restriction;
owl:onProperty ex:p2;
owl:hasValue "v2"].
I expect to find <Class1>,<A1>,<B1> as a rdf:types of [ex:p1 "v1";ex:p2
"v2"].
Eventually I need to use OWL2 datatype restrictions, so it doesn't
appear the current Jena OWL reasoner will get me there, but I wanted to
explore the capabilities.
I need to get some other tools to validate the ontology to make sure
there's nothing pathological, but on inspection it looks OK.
Regards,
--Paul
>
> >
> > Any other approaches for better performance?
> >
> > Thanks,
> > --Paul
> >
>
