[Pellet-users] concept expression and satisfiability

[Michelantonio Trizio]

Hi,

I'm new of pellet.

I want to know if it's possible insert a concept expression like this "And(
Glasgow ObjectAll(near_to university) ObjectSome(is_located Thing)
apartment)" in one ontology and test its  satisfiability.
I try to do this with owlapi and i hope that it's possible using them.
Thanks in advance.

Mike
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070530/b5b76971/attachment.htm