Buscar
Mostrando ítems 1-10 de 11670
Ontology Reasoning and Evolution with Inconsistency Tolerance: An Argumentative Approach to Revision of Description Logics
(IOS Press, 2016-03-02)
Reasoning and change over inconsistent ontologies (i-ont(s)) is of utmost relevance in sciences like medicine and law. Argumentation may be an appropriate formalism to cope with both problems: (reasoning) through an ...
Base Revision for Ontology Debugging
(OXFORD UNIV PRESS, 2009)
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. Ontology Debugging, on the other hand, aims to find the axioms in a terminological knowledge base which caused the ...
First record and revised description of Herpetocypris helenae G. W. Müller, 1908 from the Neotropics (central-west Argentina)
(Verlag Dr Friedrich Pfeil, 2016-09)
The genus Herpetocypris Brady & Norman, 1889 has a wide distribution in mostof the zoogeographical regions except in the Neotropical Region, where only threespecies have so far been found ? these being H. reptans (Baird, ...
A Non-Monotonic Description Logics Model for Merging Terminologies
(Asociación Española para la Inteligencia Artificial, 2007-10)
In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch ...
Revision of the South American species of Neralsia (Hymenoptera: Figitidae) with the description of eight new species
(Universidad de Costa Rica, 2008)
A revision of Evaniscus (Hymenoptera, Evaniidae) using ontology-based semantic phenotype annotation
(PENSOFT PUBLSOFIA, 2012)
The Neotropical evaniid genus Evaniscus Szepligeti currently includes six species. Two new species are described, Evaniscus lansdownei Mullins, sp. n. from Colombia and Brazil and E. rafaeli Kawada, sp. n. from Brazil. ...