- From: Simon Price <simon.price@bristol.ac.uk>
- Date: Sun, 28 Mar 2004 17:10:52 +0100
- To: RDF Interest Group <www-rdf-interest@w3.org>
> * Charles McCathieNevile <charles@w3.org> [2004-03-27 22:20-0500]
>
>>Hi folks,
>>
>>So it seems there are plenty of systems capable of handling lots of RDF. Are
>>there any that handle OWL (in some version or other) at that scale?
Jan Wielemaker's SWI Prolog doesn't include a specific OWL package but
has some support via the triple20 RDF triple viewer and editor (beta).
http://www.swi-prolog.org/packages/Triple20/Triple20.html#sec:3
It does include a "near full" OWL reasoner which, I would hope, could be
used independently of the editor (but that's a guess on my part).
Extracts from the above web page...
---
OWL reasoning uses a subset of OWL/Full, inferring properties that can
be inferred fairly quickly. Supported reasoning includes: owl:sameAs and
the property attributes owl:inverseOf, owl:SymmetricProperty and
owl:TransitiveProperty. It also derives the value of a property if one
of the types of a resource defines owl:hasValue.
Triple20 deduces the class extensions of restrictions and descriptions.
If property values are to be considered it uses the above described
features to infer property values.
It supports OWL at the following places:
* Restriction labels
* OWL Descriptions
* Subclass
* Inferred properties
---
Cheers
Simon
-------------------------------------------------------------------
Simon Price, Technical Consultant, Internet Development Group
Institute for Learning and Research Technology
http://www.ilrt.bris.ac.uk/aboutus/staff?search=ecsnp
Received on Sunday, 28 March 2004 11:10:56 UTC