Re: [OWLAPI-developer] how to generate a axiom of OWL API from a string Functional-Style Syntax directly

[Ignazio P. <ipa...@gm...>]

2011/6/29 sihyou <si...@gm...>:
> Ignazio Palmisano

Call me Ignazio :-)

> sorry, i have not expressed my quesiton clearly yesterday. I mean
> how to generate a axiom of OWL API from a string Functional-Style Syntax directly.
> You know, for an axiom of OWLAxiom class,  using its method toString(), we
> can get a string to present it. how can I convert the string into an axiom
> of OWLAxiom directly with a general method in OWL API? I mean I do not have
> to parse out the type of the desired axiom and related resouces in it from
> the string.
> or, i have to parse out related infomation from the string and select a
> corresponding method from OWLDataFactory to create the desired axiom.

As far as I know the default string cannot be parsed automatically
back to the axiom, since some information is probably lost; in the
past, I've turned some such strings into code by adding the missing
bits of syntax; most of it can be done with a little bit of regular
expressions but often IRIs need a lot more work.
HTH,
I.

>
> Thank you very much!
> Best wishes,
> si huayou
> Peking University
> 2011-06-28
>
> ------------------------------
> Message: 2
> Date: Tue, 28 Jun 2011 23:27:57 +0100
> From: Ignazio Palmisano <ipa...@gm...>
> Subject: Re: [OWLAPI-developer] help!
> To: owl...@li...
> Message-ID: <BAN...@ma...>
> Content-Type: text/plain; charset=ISO-8859-1
> 2011/6/28 sihyou <si...@gm...>:
>> Dear?OWL?API?Developer,
>>
>> we?have?problem:
>> how can I? convert a negation normal form? into axiom with owl api?
>> In class OWLDataFactory, there is not a general mothed to convert a negation
>> normal form,?such as ClassAssertion( a:Boy a:Stewie ),? into an OWLAxiom.
> Yes there is, almost with the exact name you mention:
> OWLDataFactory::getOWLClassAssertionAxiom(OWLClassExpression, OWLIndividual)
> However, I'm not clear why you think
> ClassAssertion( a:Boy a:Stewie ) is a negation normal form; as far as
> I know the usual jargon, it's a way to express an axiom not an
> expression (which could or could not be in negation normal form)
> HTh,
> I.
>>
>> is there any other methods in owl api to convet it?
>>
>> Thank?you?very?much!
>> Best?wishes,
>>
>> si huayou
>> Peking University
>> 2011-06-28
>> ________________________________
>> sihyou
> ------------------------------------------------------------------------------
> All of the data generated in your IT infrastructure is seriously valuable.
> Why? It contains a definitive record of application performance, security
> threats, fraudulent activity, and more. Splunk takes this data and makes
> sense of it. IT sense. And common sense.
> http://p.sf.net/sfu/splunk-d2d-c2
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>