# HG changeset patch # User Mikel Egana Aranguren # Date 1345455596 -7200 # Node ID c9e01f86b07c672d2552eee36a9236fef51f7ece # Parent 6c25e717c89675469245c4e3b83342a8ae0debf6 New tool added for merging imported ontologies (GalaxyOWLAPI and README changed and test ontologies added accordingly). Memory settings changed in all the tools XML files diff -r 6c25e717c896 -r c9e01f86b07c OPPL/README --- a/OPPL/README Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/README Mon Aug 20 11:39:56 2012 +0200 @@ -6,24 +6,26 @@ 1.- Stop Galaxy. -2.- Copy the following files and dirs to +2.- Copy the following files and directories to /galaxy-dist/tool-data/shared/jars/: oppl_galaxy_tool.jar inference.jar query.jar oppl_query.jar +merge.jar oppl_galaxy_lib/ inference_lib/ query_lib/ oppl_query_lib/ +merge_lib/ FaCT++-linux-v1.5.2/ FaCT++-OSX-v1.5.2/ 3.- Create directory /galaxy-dist/tools/OPPL/ -4.- Copy oppl.xml, inference.xml and query.xml to -/galaxy-dist/tools/OPPL/ +4.- Copy oppl.xml, inference.xml, query.xml, oppl_query.xml and +merge.xml to /galaxy-dist/tools/OPPL/ 5.- Add the following lines to /galaxy-dist/tool_conf.xml: @@ -31,7 +33,8 @@ - + + 6.- Start Galaxy. @@ -41,31 +44,21 @@ FORESEEN FEATURES ================= -General (OPPL, Inference, Query, OPPL query): - - Support for processing ontologies that import other ontologies loaded -in galaxy. +in galaxy (i.e. to resolve imports within galaxy). - Entities rendering definition (URI fragment, rdfs:label, QName, etc). -- OWLLink and Racer support. - - -OPPL: +- OWLLink, Racer and ELK support. - Standalone OPPL assertions parsing (e.g. ADD phagocyte subClassOf cell). - Other output formats apart from RDF/XML. - -Inference: - - Support for DataPropertyAssertion, DataPropertyHierarchy, DifferentIndividuals, ... -OPPL query: - KNOWN BUGS AND ISSUES @@ -100,7 +93,7 @@ Copyright (c) 2011 Mikel Egaña Aranguren. -(OPPL|Inference|Query)-Galaxy +(OPPL|Inference|Query|OPPL-Query|Merge)-Galaxy is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your @@ -117,9 +110,3 @@ OPPL API, OWL API, Pellet, HermiT, and FaCT++ have their own licenses. - - - - - - diff -r 6c25e717c896 -r c9e01f86b07c OPPL/inference.xml --- a/OPPL/inference.xml Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/inference.xml Mon Aug 20 11:39:56 2012 +0200 @@ -1,10 +1,10 @@ It performs inference in an OWL ontology and it generates a new ontology with the inferred axioms as asserted axioms - + - java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/inference.jar $input $reasoner $axioms > $output + java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/inference.jar $input $reasoner $axioms > $output @@ -25,14 +25,14 @@ - + **About Inference-Galaxy** diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge.jar Binary file OPPL/merge.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/OPPL/merge.xml Mon Aug 20 11:39:56 2012 +0200 @@ -0,0 +1,42 @@ + + If an ontology with import axioms is provided, it will merge the imported ontologies into the main ontology + + + + + + + java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/merge.jar $ontology "$uri" > $output + + + + + + + + + + + + +**About Merge-Galaxy** + + Merge-Galaxy can be used to merge any imported ontologies into the main ontology, creating a new ontology. + +**Formats** + + Merge-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load, provided that imports are correctly represented: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. The output is an OWL ontology in RDF/XML format. + +**Contact** + + Please send any request or comment to mikel.egana.aranguren@gmail.com. + + + + diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/FaCTpp-OWLAPI-3.2-v1.5.2.jar Binary file OPPL/merge_lib/FaCTpp-OWLAPI-3.2-v1.5.2.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/HermiT.jar Binary file OPPL/merge_lib/HermiT.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/antlr-runtime-3.2.jar Binary file OPPL/merge_lib/antlr-runtime-3.2.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/aterm-java-1.6.jar Binary file OPPL/merge_lib/aterm-java-1.6.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/jgrapht-jdk1.5.jar Binary file OPPL/merge_lib/jgrapht-jdk1.5.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/org.coode.oppl-API.jar Binary file OPPL/merge_lib/org.coode.oppl-API.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/owlapi-bin.jar Binary file OPPL/merge_lib/owlapi-bin.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/parsers.jar Binary file OPPL/merge_lib/parsers.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-core.jar Binary file OPPL/merge_lib/pellet-core.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-datatypes.jar Binary file OPPL/merge_lib/pellet-datatypes.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-el.jar Binary file OPPL/merge_lib/pellet-el.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-owlapiv3.jar Binary file OPPL/merge_lib/pellet-owlapiv3.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-query.jar Binary file OPPL/merge_lib/pellet-query.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/merge_lib/pellet-rules.jar Binary file OPPL/merge_lib/pellet-rules.jar has changed diff -r 6c25e717c896 -r c9e01f86b07c OPPL/oppl.xml --- a/OPPL/oppl.xml Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/oppl.xml Mon Aug 20 11:39:56 2012 +0200 @@ -9,10 +9,10 @@ - + - java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy.jar $input $reasoner $OPPL $format > $output 2>/dev/null + java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_galaxy.jar $input $reasoner $OPPL $format > $output 2>/dev/null @@ -23,7 +23,7 @@ @@ -34,7 +34,7 @@ @@ -56,7 +56,7 @@ - + **About OPPL-Galaxy** diff -r 6c25e717c896 -r c9e01f86b07c OPPL/oppl_query.xml --- a/OPPL/oppl_query.xml Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/oppl_query.xml Mon Aug 20 11:39:56 2012 +0200 @@ -7,10 +7,10 @@ - + - java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_query.jar $ontology $reasoner $answer_format "$query" > $output 2>/dev/null + java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/oppl_query.jar $ontology $reasoner $answer_format "$query" > $output 2>/dev/null @@ -19,7 +19,7 @@ @@ -40,7 +40,7 @@ - + **About OPPL-Query-Galaxy** diff -r 6c25e717c896 -r c9e01f86b07c OPPL/query.xml --- a/OPPL/query.xml Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/query.xml Mon Aug 20 11:39:56 2012 +0200 @@ -3,10 +3,10 @@ - + - java -Xmx7000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/query.jar $ontology $reasoner $answer_type $answer_format "$query" > $output + java -Xmx3000M -Xms250M -DentityExpansionLimit=1000000000 -jar ${__tool_data_path__}/shared/jars/query.jar $ontology $reasoner $answer_type $answer_format "$query" > $output @@ -15,7 +15,7 @@ @@ -44,7 +44,7 @@ - + **About Query-Galaxy** @@ -62,7 +62,7 @@ **Formats** - Inference-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. The output is a list of terms. + Query-Galaxy uses the OWL API, and therefore it can load any ontology format that such API is able to load: OBO flat file, OWL (RDF/XML, OWL/XML, Functional, Manchester), turtle, and KRSS. The output is a list of terms. **Contact** diff -r 6c25e717c896 -r c9e01f86b07c OPPL/src/GalaxyOWLAPI.java --- a/OPPL/src/GalaxyOWLAPI.java Thu Aug 02 09:22:57 2012 +0200 +++ b/OPPL/src/GalaxyOWLAPI.java Mon Aug 20 11:39:56 2012 +0200 @@ -49,6 +49,7 @@ import org.semanticweb.owlapi.util.InferredSubDataPropertyAxiomGenerator; import org.semanticweb.owlapi.util.InferredSubObjectPropertyAxiomGenerator; import org.semanticweb.owlapi.util.OWLEntityRenamer; +import org.semanticweb.owlapi.util.OWLOntologyImportsClosureSetProvider; import org.semanticweb.owlapi.util.OWLOntologyMerger; import org.semanticweb.owlapi.util.SimpleShortFormProvider; import org.semanticweb.owlapi.vocab.OWL2Datatype; @@ -62,7 +63,7 @@ /** * A wrapper of the OWL API * - * @author Mikel Ega��a Aranguren + * @author Mikel Egana Aranguren */ public class GalaxyOWLAPI { private OWLOntologyManager manager; @@ -109,10 +110,13 @@ reasonerFactory = new Reasoner.ReasonerFactory(); reasoner = reasonerFactory.createReasoner(ontology); } - public void merge () throws OWLOntologyCreationException{ + public void merge (String ontologyIRI) throws OWLOntologyCreationException, OWLOntologyStorageException{ OWLOntologyMerger merger = new OWLOntologyMerger(manager); - IRI mergedOntologyIRI = IRI.create("http://oeg-upm.net/oppl_galaxy/merged.owl"); +// OWLOntologyMerger merger = new OWLOntologyMerger(new OWLOntologyImportsClosureSetProvider(manager, ontology)); + IRI mergedOntologyIRI = IRI.create(ontologyIRI); +// OWLOntology merged_ontology = merger.createMergedOntology(manager, mergedOntologyIRI); ontology = merger.createMergedOntology(manager, mergedOntologyIRI); +// manager.saveOntology(ontology, new RDFXMLOntologyFormat(), new SystemOutDocumentTarget()); } public OWLClassExpression parseMOSClassExpression (String expr) throws ParserException{ diff -r 6c25e717c896 -r c9e01f86b07c OPPL/src/MergeImportedOntologies.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/OPPL/src/MergeImportedOntologies.java Mon Aug 20 11:39:56 2012 +0200 @@ -0,0 +1,39 @@ +package es.upm.cbgp.opplquery.oppl.galaxy; + +import java.io.IOException; + +import org.semanticweb.owlapi.model.OWLOntologyCreationException; +import org.semanticweb.owlapi.model.OWLOntologyStorageException; + +import es.upm.fi.dia.oeg.oppl.galaxy.GalaxyOWLAPI; + +public class MergeImportedOntologies { + + /** + * @param args + * @throws OWLOntologyCreationException + * @throws IOException + * @throws OWLOntologyStorageException + */ + public static void main(String[] args) throws OWLOntologyCreationException, OWLOntologyStorageException, IOException { + String OWLFilePath = args [0]; + String MergedOntologyNewURI = args [1]; +// String OWLFilePath = "/home/mikel/UPM/OPPL_galaxy/OPPL/OPPL/test-data/ontology/imports/merge_test.owl"; +// String MergedOntologyNewURI = "http://cbgp.upm.es/merged.owl"; + + // Create the manager + GalaxyOWLAPI galaxyowlapi = new GalaxyOWLAPI(); + + // Load the main ontology and hope for the imported URIs to be resolvable + galaxyowlapi.loadMainOntology(OWLFilePath); + + // Merge and save + + if(MergedOntologyNewURI.isEmpty()){ + MergedOntologyNewURI = "http://cbgp.upm.es/BiologicalInformatics/OPPLGalaxy/merged.owl"; + } + + galaxyowlapi.merge(MergedOntologyNewURI); + galaxyowlapi.saveOntology(true); + } +} diff -r 6c25e717c896 -r c9e01f86b07c OPPL/test-data/ontology/imports/merge.owl --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/OPPL/test-data/ontology/imports/merge.owl Mon Aug 20 11:39:56 2012 +0200 @@ -0,0 +1,8824 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + NB Transitive - the ingredients of ingredients are ingredients of the whole + + + + + + + + + + + + A property created to be used with the ValuePartition - Spiciness. + + + + + + + + + + Note that hasTopping is inverse functional because isToppingOf is functional + + + + + + + + + + + + + + + + + + + + + + + + + The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. + + + + + + + + + + + Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Americana + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + AmericanaPicante + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeAnchovies + + + + + + + + + + + CoberturaDeArtichoke + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeAspargos + + + + + + + + + + + + + + + + + + + + + + + + + + Cajun + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeCajun + + + + + + + + + + + + + + + + CoberturaDeCaper + + + + + + + + + + + + + + + + + + + + + + + + + Capricciosa + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Caprina + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeQueijo + + + + + + + + + + + + + + + + PizzaComQueijo + + + + + + + + + + + + Any pizza that has at least 1 cheese topping. + + + + + + + + CoberturaDeQueijoComVegetais + + + This class will be inconsistent. This is because we have given it 2 disjoint parents, which means it could never have any members (as nothing can simultaneously be a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial. + + + + + + + + CoberturaDeFrango + + + + + + + + + + + + + + + + + + Pais + + + + + + + + + + + + + + + + + A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other. + + + + + + + + BaseEspessa + + + + + + + + + + + + + + + + + + Fiorentina + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDePeixe + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaQuatroQueijos + + + + + + + + + + + + + + + + + + + QuatroQueijos + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeFrutas + + + + + + + + + + + + + + FrutosDoMar + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeAlho + + + + + + + + + + + + + + + + + + + + + + + + Giardiniera + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeQueijoDeCabra + + + + + + + + + + + + + + + + + + CoberturaDeGorgonzola + + + + + + + + + + + + + + + + + CoberturaDePimentaoVerde + + + + + + + + + + + + CoberturaDePresunto + + + + + + + + + + + CoberturaDeErvas + + + + + + + + + + + + + Picante + + + + + + + + + + + CoberturaDePimentaoVerdePicante + + + + + + + + + + + + + + + CoberturaDeBifePicante + + + + + + + + + + + + + + + + Sorvete + + + + + + + + + + + A class to demonstrate mistakes made with setting a property domain. The property hasTopping has a domain of Pizza. This means that the reasoner can infer that all individuals using the hasTopping property must be of type Pizza. Because of the restriction on this class, all members of IceCream must use the hasTopping property, and therefore must also be members of Pizza. However, Pizza and IceCream are disjoint, so this causes an inconsistency. If they were not disjoint, IceCream would be inferred to be a subclass of Pizza. + + + + + + + + PizzaInteressante + + + + + + + 3 + + + + + Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL. + + + + + + + + CoberturaDeJalapeno + + + + + + + + + + + + + + + + + LaReine + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeLeek + + + + + + + + + + + + + + + + + + + + + + + Margherita + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeCarne + + + + + + + + + + + + PizzaDeCarne + + + + + + + + + + + + Any pizza that has at least one meat topping + + + + + + + + Media + + + + + + + + + + NaoPicante + + + + + + + + + CoberturaDeFrutosDoMarMistos + + + + + + + + + + CoberturaDeMozzarella + + + + + + + + + + + + + + + + + + + + + + Cogumelo + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeCogumelo + + + + + + + + + + + + + + + + + + + + + + PizzaComUmNome + + A pizza that can be found on a pizza menu + + + + + + + + Napoletana + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + PizzaNaoVegetariana + + + + + + + + + + + + Any Pizza that is not a VegetarianPizza + + + + + + + + CoberturaDeCastanha + + + + + + + + + + + + + + + + + CoberturaDeAzeitona + + + + + + + + + + + + + + + + + + + + + CoberturaDeCebola + + + + + + + + + + + + + + + + + + + + CoberturaDePrezuntoParma + + + + + + + + + + + + + + + Parmense + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeParmesao + + + + + + + + + + + + + + + CoberturaPeperonata + + + + + + + + + + + + + + + + CoberturaDeCalabreza + + + + + + + + + + + + + + + CoberturaDePimentao + + + + + + + + + + + + + CoberturaPetitPois + + + + + + + + + + + + + + + + + + CoberturaPineKernels + + + + + + + + + Pizza + + + + + + + + + + + + + + + + + BaseDaPizza + + + + + + + + + + CoberturaDaPizza + + + + + + + + + PolloAdAstra + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeCamarao + + + + + + + + + CoberturaPrinceCarlo + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + QuatroQueijos + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + PizzaItalianaReal + + + + + + + + + + + + + + + + + + This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. In essence, all pizzas from Italy must have ThinAndCrispy bases. + + + + + + + + CoberturaDeCebolaVermelha + + + + + + + + + CoberturaRocket + + + + + + + + + + + + + + + + + Rosa + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaRosemary + + + + + + + + + + + + + + + CoberturaEmMolho + + + + + + + + + + Siciliana + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + CoberturaDeTomateFatiado + + + + + + + + + + + + + + + + SloppyGiuseppe + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Soho + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Tempero + + + + + + + + + + + A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. + + + + + + + + PizzaTemperada + + + + + + + + + + + + Any pizza that has a spicy topping is a SpicyPizza + + + + + + + + PizzaTemperadaEquivalente + + + + + + + + + + + + + + + + + + + + + + An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class. + + + + + + + + CoberturaTemperada + + + + + + + + + + + + Any pizza topping that has spiciness Hot + + + + + + + + CoberturaDeEspinafre + + + + + + + + + + + + + + + + CoberturaSultana + + + + + + + + + + + + + + + CoberturaDeTomateRessecadoAoSol + + + + + + + + + + + + + + + CoberturaDePimentaoDoce + + + + + + + + + + + + + + + BaseFinaEQuebradica + + + + + + + + + + + + + + + + + + + + + + + + + + + MolhoTobascoPepper + + + + + + + + + + + + + + + CoberturaDeTomate + + + + + + + + + + + + + + + PizzaAberta + + + + + + + + + An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings. + + + + + + + + ValorDaParticao + A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class. + + + + + + + + CoberturaDeVegetais + + + + + + + + + PizzaVegetariana + + + + + + + + + + + + + + + + + + + + + + + + Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Members of this class do not need to have any toppings at all. + + + + + + + + PizzaVegetarianaEquivalente1 + + + + + + + + + + + + Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2. Not equivalent to VegetarianPizza because PizzaTopping is not covering + + + + + + + + PizzaVegetarianaEquivalente2 + + + + + + + + + + + + + + + + + + + + + + + An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza + + + + + + + + CoberturaVegetariana + + + + + + + + + + + + + + + + + + An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc. + + + + + + + + Veneziana + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + 1 + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 2 + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + wine + vin + + + + + 1 + + + + + + 1 + + + + + + + + + + + + 1 + + + + + + 1 + + + + + + 1 + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Made WineDescriptor unionType of tastes and color + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 1998 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff -r 6c25e717c896 -r c9e01f86b07c OPPL/test-data/ontology/imports/merge_test.owl --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/OPPL/test-data/ontology/imports/merge_test.owl Mon Aug 20 11:39:56 2012 +0200 @@ -0,0 +1,74 @@ + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +