Hi Jens,
You may take a look at the ContractLog KR
(http://ibis.in.tum.de/staff/paschke/rbsla/index.htm) and the OWL2PROVA
framework. Maybe it is interesting for you and I'm happy about any =
comments.
ContractLog implements a hybrid DL-typed unification, which allows using
rules in combination with description logics. The hybrid approach has =
the
advantage that efficient tableaux reasoning algorithms of external DL
reasoners can be used. This is different from the homogenous approach of
SWRL which uses the rule engine for DL reasoning. See
http://ibis.in.tum.de/staff/paschke/docs/ContractLog_OWL_12_05.pdf for =
more
information.
The OWL2PRova API implements both approaches: hybrid and homogeneous
integration and supports different reasoners (RDFS, OWL Lite, OWL DL =
etc.)
and converters for transforming DL ontologies into logic programs, e.g.
homogenous description logic programs.
Cheers,
Adrian
-----Urspr=FCngliche Nachricht-----
Von: web...@li...
[mailto:web...@li...] Im Auftrag von
Jens Dietrich
Gesendet: Donnerstag, 27. Juli 2006 04:20
An: web...@li...
Betreff: [Webofpatterns-user] new version released
Dear all,
We have just release version 1.2.0 with the following new features:=20
We have added a new reasoning module that uses SWRL to make rules
persistent. Rules can be built for all contributed properties.=20
Swoogle now contributes several properties, and publishing patterns to =
blogs
has been added.
Note that the online properties (delicious bookmark count, meta data
provided by swoogle, wopper stats) are now fetched in the background.
Sometimes this fails (in particular delicious returns a 503 from time to
time indicating that it does not like so many RPC calls). In this case,
default values are used. See also the log view for details.=20
Kind regards, Jens
*******************************************
Dr Jens Dietrich
Senior Lecturer Computer Science
Institute of Information Sciences & Technology Te Kura Putaiao o
Hangarau-a-Mohiotanga Massey University Palmerston North New Zealand
Phone: +64 6 350 5799 ext 2212
Email: J.B...@ma...
Web: http://www-ist.massey.ac.nz/JBDietrich/
*******************************************
-------------------------------------------------------------------------=
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share =
your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=3Djoin.php&p=3Dsourceforge&CID=3D=
DEVDEV
_______________________________________________
Webofpatterns-user mailing list
Web...@li...
https://lists.sourceforge.net/lists/listinfo/webofpatterns-user
|
