	SEKT 3.5.1 MORE Testbed (on localhost)
<?xml version="1.0" encoding="ISO-8859-1"?> <tellm xmlns="http://wasp.cs.vu.nl/sekt/more/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/more/more.xsd"> <ontology name="bird1" language="dig"> <defconcept name="bird"/> <defconcept name="animal"/> <defconcept name="fly"/> <defconcept name="eagle"/> <impliesc> <catom name="bird"/> <catom name="animal"/> </impliesc> <impliesc> <catom name="bird"/> <catom name="fly"/> </impliesc> <impliesc> <catom name="eagle"/> <catom name="bird"/> </impliesc> </ontology> <ontology name="bird2" language="owl"> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl:Class rdf:ID="eagle"> <rdfs:subClassOf> <owl:Class rdf:about="bird"/> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:ID="bird"> <rdfs:subClassOf rdf:resource="animal"/> </owl:Class> <owl:Class rdf:ID="bird"> <rdfs:subClassOf rdf:resource="fly"/> </owl:Class> <owl:Class rdf:ID="penguin"> <rdfs:subClassOf rdf:resource="bird"/> <owl:disjointWith rdf:resource="fly"/> </owl:Class> </rdf:RDF> </ontology> <ontology name="bird3" language="owl" url="file:ontology/bird/bird3.owl"/> <versionSpace name="bird"> <pair ontology1="bird1" ontology2="bird2"/> <pair ontology1="bird2" ontology2="bird3"/> </versionSpace> </tellm>	<?xml version="1.0" encoding="ISO-8859-1"?> <askm xmlns="http://wasp.cs.vu.nl/sekt/more/lang" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://wasp.cs.vu.nl/sekt/more/more.xsd"> <querym id="sat bird on bird1 (true)" versionSpace="bird" ontology="bird1"> <query> <satisfiable> <catom name="bird"/> </satisfiable> </query> </querym> <querym id="sat bird on versionSpace (true)" versionSpace="bird"> <query> <satisfiable> <catom name="bird"/> </satisfiable> </query> </querym> <querym id="sat penguin on bird2 (false)" versionSpace="bird" ontology="bird2"> <query> <satisfiable> <catom name="penguin"/> </satisfiable> </query> </querym> <querym id="previousVersion sat bird on bird2 (true)" versionSpace="bird" ontology="bird2"> <previousVersion> <query> <satisfiable> <catom name="bird"/> </satisfiable> </query> </previousVersion> </querym> <querym id="previousVersion sat penguin on bird2 (false)" versionSpace="bird" ontology="bird2"> <previousVersion> <query> <satisfiable> <catom name="penguin"/> </satisfiable> </query> </previousVersion> </querym> <querym id="allPriorVersions sat penguin on bird3 (false)" versionSpace="bird" ontology="bird3"> <allPriorVersions> <query> <satisfiable> <catom name="penguin"/> </satisfiable> </query> </allPriorVersions> </querym> <querym id="allPriorVersions sat penguin on versionSpace (false)" versionSpace="bird"> <allPriorVersions> <query> <satisfiable> <catom name="penguin"/> </satisfiable> </query> </allPriorVersions> </querym> <querym id="somePriorVersion sat bird on the versionSpace (true)" versionSpace="bird"> <somePriorVersion> <query> <satisfiable> <catom name="bird"/> </satisfiable> </query> </somePriorVersion> </querym> <querym id="bird1 initial ontolgy(true)" versionSpace="bird1" ontology="bird"> <allPriorVersions> <query> <satisfiable> <bottom/> </satisfiable> </query> </allPriorVersions> </querym> <querym id="bottom satisfiable on bird1 (false)" versionSpace="bird" ontology="bird1"> <query> <satisfiable> <bottom/> </satisfiable> </query> </querym> <querym id="bird2 initial ontolgy(false)" versionSpace="bird" ontology="bird2"> <allPriorVersions> <query> <satisfiable> <bottom/> </satisfiable> </query> </allPriorVersions> </querym> <querym id="allPriorVersions tweety penguin on bird3(false)" versionSpace="bird" ontology="bird3"> <allPriorVersions> <query> <instance> <individual name="tweety"/> <catom name="penguin"/> </instance> </query> </allPriorVersions> </querym> <querym id="somePriorVersion satisfiable penguin on versionSpace(false)" versionSpace="bird1"> <somePriorVersion> <query> <satisfiable> <catom name="penguin"/> </satisfiable> </query> </somePriorVersion> </querym> </askm>
	Ontology:
Select Query Example:	Select Example:

SEKT 3.5.1 MORE Testbed (on localhost)