| Also, instead of adding rules to OWL, resulting in a hybrid formalism, it would be very useful to investigate about using a variant of Datalog, Datalog+-, as a unified language for ontologies. I am very curious to understand the practical feasibility of this. Especially, the possibility to have variables to express co-reference constraints among different attribute values (for instance, a service whose provider is also the producer) seems to be crucial to me.
(still I have to dig into it)
Nicola
On 26 Jan 2012, at 17:31, Adrian Walker wrote: Hi Leo & All,
For end users and end authors who don't want to learn Prolog etc, the system online at the site below may also be of interest.
Cheers, -- Adrian
Internet Business Logic
A Wiki and SOA Endpoint for Executable Open Vocabulary English Q/A over SQL and RDF
Online at www.reengineeringllc.com
Shared use is free, and there are no advertisements
Adrian Walker
Reengineering
On Wed, Jan 25, 2012 at 7:14 PM, Obrst, Leo J. <lobrst@xxxxxxxxx> wrote:
FYI. Plug-in for Protégé from SRI. Looks very useful.
==================================================
We are proud to announce the first release of
=========== SWRL-IQ =============================
Semantic Web Rule Language Inference and Query tool
http://protegewiki.stanford.edu/wiki/SWRL-IQ
===================================================
SWRL-IQ is a plugin for Protege 3.x that allows users to edit, save, and
submit queries to an underlying inference engine based on XSB Prolog.
The tool features:
- Goal-oriented backward-chaining Prolog-style reasoning (as
opposed to the forward-chaining paradigm used by most other SWRL
rule engines).
- Constraint-solving based on CLP(R) (Constraint Logic Programming
with Reals). This allows for more declarative and powerful rules and
queries.
- Saving queries.
- Exporting query results to XML or CSV format.
- Tracing and debugging inference results.
- Exporting query results in different formats.
- No dependency on proprietary or closed-source components. Uses
XSB Prolog, which is freely available under the LGPL license.
SWRL-IQ also has powerful SWRL extensions and a Java procedural
attachment mechanism. The manual, available at the URL above,
contains more information.
We have a public mailing list for discussion, questions, bug reports, and
feature requests at swrl-iq-users@xxxxxxxxxxxxxxxxx. To subscribe, send an
email to swrl-iq-users-request@xxxxxxxxxxxxxxxxx with the word "subscribe"
as subject.
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
*** WARNING *** old address guarino@xxxxxxxxxx not operational any more
new address is guarino@xxxxxxxxxxxxxxx.
Web site also changed to www.loa.istc.cnr.it.
--------------------------------------------------------------------------------------------
Nicola Guarino
Head, Laboratory for Applied Ontology (LOA), ISTC-CNR
Institute for Cognitive Sciences and Technologies
National Research Council
Via alla Cascata, 56/C
38100 Povo (Trento), Italy
-------------------------------------------------------------------------------------------
Editor in Chief, Applied Ontology (IOS Press)
www.applied-ontology.org
President, Int. Association for Ontology and its Applications (IAOA)
www.iaoa.org
-------------------------------------------------------------------------------------------
office: +39 0461 314871 fax: +39 0461 314875
secretary: +39 0461 314842-878
mobile: +39 338 980 3912
skype: nicolguar
web site: http://loa.istc.cnr.it
|