ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] FW: SWRL-IQ Launch: Protege 3.x plugin: queries to u

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Nicola Guarino <guarino@xxxxxxxxxxxxxxx>
Date: 2012年1月26日 18:01:20 +0100
Message-id: <65D9246C-335E-48A1-991C-5FA7CFA80C4F@xxxxxxxxxxxxxxx>
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.

See for instance http://dl.acm.org/citation.cfm?id=1514897

(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





_________________________________________________________________
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  (01)
<Prev in Thread] Current Thread [Next in Thread>
Previous by Date: Re: [ontolog-forum] FW: SWRL-IQ Launch: Protege 3.x plugin: queries to underlying XSB Prolog engine , Adrian Walker
Next by Date: Re: [ontolog-forum] OWL Well Defined Semantics (was: Terminology...) , Christopher Menzel
Previous by Thread: Re: [ontolog-forum] FW: SWRL-IQ Launch: Protege 3.x plugin: queries to underlying XSB Prolog engine , Adrian Walker
Next by Thread: [ontolog-forum] OWL Well Defined Semantics (was: Terminology...) , Adrian Walker
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /