	SEKT 3.6.1 DION Testbed (on localhost)
<?xml version="1.0" encoding="ISO-8859-1"?> <tells xmlns="http://wasp.cs.vu.nl/sekt/xdig/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/xdig/xdig1-4.xsd"> <clearKB/> <equalc> <catom name="a1"/> <and> <not> <catom name="a"/> </not> <catom name="a2"/> <catom name="a3"/> </and> </equalc> <equalc> <catom name="a2"/> <and> <catom name="a"/> <catom name="a4"/> </and> </equalc> <equalc> <catom name="a3"/> <and> <catom name="a4"/> <catom name="a5"/> </and> </equalc> <equalc> <catom name="a4"/> <and> <all><ratom name="s"/> <catom name="b"/> </all> <catom name="c"/> </and> </equalc> <equalc> <catom name="a5"/> <some><ratom name="s"/> <not><catom name="b"/></not> </some> </equalc> <equalc> <catom name="a6"/> <or> <catom name="a1"/> <some><ratom name="r"/> <and><catom name="a3"/><not><catom name="c"/></not><catom name="a4"/></and> </some> </or> </equalc> <equalc> <catom name="a7"/> <and> <catom name="a4"/> <some><ratom name="s"/> <not><catom name="b"/> </not></some> </and> </equalc> <defconcept name="a1"/> <defconcept name="a2"/> <defconcept name="a3"/> <defconcept name="a4"/> <defconcept name="a5"/> <defconcept name="a6"/> <defconcept name="a7"/> <defconcept name="a"/> <defconcept name="b"/> <defconcept name="c"/> <defrole name="r"/> <defrole name="s"/> </tells>	<?xml version="1.0" encoding="ISO-8859-1"?> <do> <function name="get_mups"/> <concept value="a1"/> <kbid value="kb(dion,default)"/> </do>
	Ontology:
Select Query Example:	Select Example: