See also: (01)
http://www.cs.man.ac.uk/~sattler/reasoners.html (02)
and (03)
http://web.comlab.ox.ac.uk/oucl/work/boris.motik/HermiT/ (04)
The latter is at the leading edge of research, and I know that Boris
is interested in interesting examples. (05)
If your ontology size is dominated by individuals, then you might
look in to SHER
http://domino.research.ibm.com/comm/research_projects.nsf/pages/
iaa.index.html (06)
-Alan (07)
On Jan 13, 2008, at 4:55 AM, Ivan Herman wrote: (08)
> Pawel,
>
> here are some of the reasoners that are documented on W3C's site:
>
> http://esw.w3.org/topic/SemanticWebTools#head-
> df358ae9ee9134c82ca31ff9a2e0fe7e5fe42d71
>
> Ivan
>
> scorek wrote:
>> Hello,
>> I have recently managed to load a big ontology (eClassOWL - a product
>> ontology developed by Martin Hepp) through Jena into the memory.
>> My question is about reasoners.
>> Does anyone know perhaps a good reasoner that can work on large
>> ontologies?
>> Maybe someone already worked with eClassOWL?
>> Thank you very much for any information.
>> With best regards,
>> Pawel Skornicz
>> _________________________________________________________________
>> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-
>> forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>> Shared Files: http://ontolog.cim3.net/file/
>> Community Wiki: http://ontolog.cim3.net/wiki/ To Post:
>> mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>>
>
> --
>
> Ivan Herman, W3C Semantic Web Activity Lead
> Home: http://www.w3.org/People/Ivan/
> PGP Key: http://www.ivan-herman.net/pgpkey.html
> FOAF: http://www.ivan-herman.net/foaf.rdf
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-
> forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|