[Attempto] Using ACE to create SWRL rules

[Dilvan Moreira]

On Thu, May 12, 2011 at 10:28 AM, Kaarel Kaljurand <kaljurand at gmail.com>wrote:

>
> On Wed, May 11, 2011 at 21:35, Dilvan Moreira <dilvan at icmc.usp.br> wrote:
>
> This ontology is loaded/verbalized in 40 seconds on my humble i3 with
> 4 GB of RAM. Of course, you need to have have the OWL verbalizer
> installed locally, otherwise it could be very slow. Could this be the
> problem?
>

   I am not using a local OWL verbalizer so it takes some time for the tab
to show something. It seems that the ACE View tab only shows the active
ontology not all loaded (regardless of the setup in the View menu). If I
choose autism-ontology I can see the class definitions in ACE.
   The ACE Text is showing the rdf:ID of the classes (even if the View menu
is set "Render by label"), can I change it to show the rdf:label of classes?



> The OWL verbalizer does not support SWRL rules and certain type of
> data property axioms. This is why many of the axioms in this ontology
> are not verbalized in ACE and are presented simply in Manchester
> Syntax.
>
> >    We actually just need to write rules in ACE and see them translated to
> > OWL/SWRL and back again (we want to use ACE as a language to
> > allow psychiatrists knowledgable in autism but not OWL to edit/view
> rules).
>
> ACE View supports translating ACE sentences to SWRL. This mapping
> doesn't cover SWRL completely, e.g. many SWRL built-ins are not
> supported, i.e. they don't have a direct counterpart in ACE. So I
> don't know if the supported fragment is sufficient for psychiatrists.
>

   Would it be too difficult to add SWRL built-ins? Can you point us to the
relevant docs?

>
> ACE View _does not_ support translating SWRL rules into ACE. It would
> be nice to have this feature but at the moment there are no plans to
> add this.
>

   Just to make it clear:

   - It's possible to translate ACE to OWL/SWRL and OWL to ACE
   - It's NOT possible to translate OWL/SWRL to ACE

   Is it in your plans to add OWL/SWRL to ACE translation? Is it too
difficult (it seems to me that the opposite would be more difficult)?



> Looking at your rules I don't actually see how automatically
> converting them into ACE would help the domain expert, because such a
> mapping would still preserve the names e.g. "createOWLThing" which
> come from the domain of OWL:
>

   When we show the classes using labels they have better names. But you are
right, we would have to change the built-in names prior to convert to ACE
(or create nicer rdf:label to them).


>
> ADI-2003(?a), ADI_2003_funccom_cinsges(?a, ?score),
> ADI_2003_interview_date(?a, ?date), SubjectKey(?a, ?subjectID),
> createOWLThing(?phenorecord, ?qv), createOWLThing(?phenorecord,
> ?subjectID) -> 'Phenotype record'(?phenorecord), 'Quantitative
> value'(?qv), subject_has_quality_or_disposition(?phenorecord, 'Current
> conventional or instrumental gestures phenotype'),
> hasValidTime(?phenorecord, ?date), 'has measurement'(?phenorecord,
> ?qv), 'has value'(?qv, ?score), 'is derived from'(?phenorecord,
> "MeasureCurrentConventionalGestures"^^string), subjectId(?phenorecord,
> ?subjectID)
>
> --
> kaarel
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20110512/49a3b934/attachment-0001.html>