[Pellet-users] Detection and extraction of patterns from axioms in pellet

[Prakash Kadel]

Hi,
	I am new to pellet. I am having a problem with extraction of certain
terms form the axioms.

For example:

	Collection collection = tbox.getAxioms();
		for (Iterator it = collection.iterator(); it.hasNext();) {
			Object axiom = it.next();
			}

Here the axiom seems to be of  ATermAppl , So if x is  
	sub(http://700.owl#C,or([http://700.owl#D,http://700.owl#E]))
how can I detect  and extract the term with
or([http://700.owl#D,http://700.owl#E]) only.  I hope you understood.

Here what I am trying to do is to  find terms such as (D U E) from axioms
like  “C subsumes (D U E)”

It would be of great help.
Thanks in advance

Prakash Kadel

No virus found in this outgoing message.
Checked by AVG Free Edition. 
Version: 7.5.467 / Virus Database: 269.6.6/794 - Release Date: 5/8/2007 2:23
PM
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20070514/80d4c11d/attachment.htm