	Prolog DIG Description Logic Interface Test (Localhost)
<?xml version="1.0" encoding="ISO-8859-1"?> <asks xmlns="http://dl.kr.org/dig/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/digtest/dig-1.1.xsd"> <satisfiable id="false1"> <or> <and> <catom name="a"/> <catom name="b"/> </and> <and> <catom name="a"/> <catom name="c"/> </and> <and> <catom name="b"/> <catom name="c"/> </and> </or> </satisfiable> </asks>	<?xml version="1.0" encoding="ISO-8859-1"?> <tells xmlns="http://dl.kr.org/dig/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/digtest/dig-1.1.xsd"> <clearKB/> <defconcept name="a"/> <impliesc> <catom name="a"/> <and> <not> <or> <catom name="b"/> <catom name="c"/> </or> </not> </and> </impliesc> <defconcept name="b"/> <impliesc> <catom name="b"/> <and> <not> <catom name="c"/> </not> </and> </impliesc> <defconcept name="c"/> </tells>
<?xml version="1.0" encoding="UTF-8"?> <getIdentifier xmlns="http://dl.kr.org/dig/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://dl.kr.org/dig/lang wasp.cs.vu.nl/sekt/digtest/dig-1.1.xsd"/>