Re: Whether description logic have a text edit tool?

Jie Bao-6 wrote:
> 
> How about trying Manchester syntax?
> 
> http://www.w3.org/2007/OWL/wiki/ManchesterSyntax
> http://www.webont.org/owled/2006/acceptedLong/submission_9.pdf
> 
> On Mon, Mar 16, 2009 at 11:04 AM, liuruiguang <liu6272002@163.com> wrote:
>> Whether there is a text editor to write the relations of concept and
>> roles of
>> description logic directly, and
>>
>> then automatically through any tools translated into owl ontology.Is
>> there
>> such a tool available?
>> I think to use the tools such as protege etc. to operate very fussy. I
>> enjoy
>> writting description logic
>>
>> relationships as the same procedure as programming. I find a lot of tools
>> from internet, but all have no such
>>
>> feature. So I doubt that there isn't such tool? Can someone answer me?
>> --
>> View this message in context:
>> http://www.nabble.com/Whether-description-logic-have-a-text-edit-tool--tp22540158p22540158.html
>> Sent from the w3.org - semantic-web mailing list archive at Nabble.com.
>>
>>
>>
>>
> 
> 
> 
> -- 
> Jie Bao
> http://www.cs.rpi.edu/~baojie
> 
> 
> 
    Thanks for your reply. I have tried Manchester syntax in visual tool
protege, However, I found that it is not very usefull and convenient. I
think the plus is based on protege, but haven't improved much, because the
essence of both two is same.
    As you know,there are some subsumption relations in the style of ,for
example:
v1 subclassof R only v2t    not_v1 subclassof R only not_v2t
v2 subclassof R only v3t    not_v2 subclassof R only not_v3t
(v1 and v2) subclassof R only (v2t and v3t)     (not_v1 or not_v2)
subclassof R only (not_v2t and not_v3t)
R some v2t subclassof v3
v1 is equivalent of not not_v1, v2 is equivalent of not not_v2, likewise
v2t-not_v2t,v3t-not_v3t
    In the tool protege, the left of key word subclassof only permits
primitive concept, so complex concept must use another equivalent concept to
replace it. Moreover the form of R some v2t subclassof v3 is not permited in
protege. For now, I have a task about description logic and need such form.
I have't found this in protege, and I think this is not convenience.
    My be there are some features that I haven't knew. In my opinion ,I
think if there is a text editor and supports writing description logic in
more nature form as mentions above and input this text file to reasoner
FaCT++,pellet etc. I think it will be very benefit for developer.
    Thanks for your help, my English is not very well, and I hope I express
my mean exactly. I expect your further reply, thank you again! 
    

-- 
View this message in context: http://www.nabble.com/Whether-description-logic-have-a-text-edit-tool--tp22540158p22575268.html
Sent from the w3.org - semantic-web mailing list archive at Nabble.com.

Received on Wednesday, 18 March 2009 09:23:17 UTC