Search Results for "case"

...It enables the user to check whether an OWL ontology contains "all relevant information" about the application domain, and extends the ontology appropriately if this is not the case. It achieves this by asking the user questions of the form "are instances of classes C1 and C2 also instances of class C3?". If the user confirms such a question, then a new axiom of the application domain that does not follow from the ontology has been discovered, and it is added to the ontology. If the user rejects it, the user has to give a counterexample to this question, i.e., an individual that is an instance of C1, C2 and not C3. ...

The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.

Here we introduce a Genomic Epidemiology Ontology (GenEpiO) that covers vocabulary necessary to identify, document and research food-borne pathogens and associated outbreaks. We envision various subdomains including genomic laboratory testing, specimen and isolate metadata, and epidemiological case investigations. The project files are currently hosted at https://github.com/GenEpiO/genepio/ . Here we provide the genepio-consortium@lists.sourceforge.net listserve. Terms for these subdomains have partially been implemented in the main file, **genepio.owl**, which imports terms from over 25 OboFoundry.org ontologies. Also we have added a number of terms that so far haven't been covered via OboFoundry. ...