[Pellet-users] concept expression and satisfiability

[Bijan Parsia]

On Wed, May 30, 2007 5:14 am, Michelantonio Trizio <mikelantonio.trizio at gmail.com> said:

> 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.

Yes. But you don't have to insert it either. For example, you could test whether that concept subclassof owl:Nothing is entailed by your ontology. If it is not, then your class is satisfiable. I'm sure there's a more direct way.

> I try to do this with owlapi and i hope that it's possible using them.

Should be.

Cheers,
Bijan.