A Preliminary Ontology for Spermatozoa Analysis

Biomedical computation has used ontologies as a foundation for building knowledge-based systems and technologies for SemanticWeb applications. However, so far they had not been utilized in andrology related domains. This paper presents a preliminary effort to provide a comprehensive ontology for classifying and managing spermatozoa samples and their phenotypic traits, in order to analyze and diagnose them. Our study is centered around the development of a Computer Asisted Sperm Analysis (CASA) system.Sociedad Argentina de Informática e Investigación Operativa (SADIO

A Preliminary Ontology for Spermatozoa Analysis

Biomedical computation has used ontologies as a foundation for building knowledge-based systems and technologies for SemanticWeb applications. However, so far they had not been utilized in andrology related domains. This paper presents a preliminary effort to provide a comprehensive ontology for classifying and managing spermatozoa samples and their phenotypic traits, in order to analyze and diagnose them. Our study is centered around the development of a Computer Asisted Sperm Analysis (CASA) system.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short). Given a PoDLoDA ontology, its terminological box is expressed in the description logic programming fragment but its assertional box allows four kinds of statements: an individual is a member of a concept, two individuals are related through a role, an individual is a member of the union of two or more concepts or two individuals are related through the union of two or more roles. Axioms and statements in PoDLoDA ontologies have a numerical certainty degree attached. A disjunctive assertion expresses a doubt respect to the membership of either individuals to union of concepts or pairs of individuals to the union of roles. Because PoDLoDA ontologies allow to represent incomplete and potentially inconsistent information, instance checking is addressed through an adaptation of Bodanza’s Suppositional Argumentation System that allows to reason with modus ponens and constructive dilemmas. We think that our approach will be of use for implementers of reasoning systems in the Semantic Web where uncertainty of membership of individuals to concepts or roles is present.Facultad de Informátic

Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies

This work reports on our e orts to implement a practical reasoner based on Dung-style argumentation semantics for potentially inconsistent possibilistic ontologies. Our Java-based implementation targets a subset of the description logic programming fragment that we codify in a Racer-like syntax suitably adapted for representing certainty degrees of both axioms and assertions. We introduce our approach with a running example, discuss implementation issues and present time complexity results.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies

This work reports on our e orts to implement a practical reasoner based on Dung-style argumentation semantics for potentially inconsistent possibilistic ontologies. Our Java-based implementation targets a subset of the description logic programming fragment that we codify in a Racer-like syntax suitably adapted for representing certainty degrees of both axioms and assertions. We introduce our approach with a running example, discuss implementation issues and present time complexity results.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Reasoning with inconsistent possibilistic description logics ontologies with disjunctive assertions

We present a preliminary framework for reasoning with possibilistic description logics ontologies with disjunctive assertions (PoDLoDA ontologies for short). Given a PoDLoDA ontology, its terminological box is expressed in the description logic programming fragment but its assertional box allows four kinds of statements: an individual is a member of a concept, two individuals are related through a role, an individual is a member of the union of two or more concepts or two individuals are related through the union of two or more roles. Axioms and statements in PoDLoDA ontologies have a numerical certainty degree attached. A disjunctive assertion expresses a doubt respect to the membership of either individuals to union of concepts or pairs of individuals to the union of roles. Because PoDLoDA ontologies allow to represent incomplete and potentially inconsistent information, instance checking is addressed through an adaptation of Bodanza’s Suppositional Argumentation System that allows to reason with modus ponens and constructive dilemmas. We think that our approach will be of use for implementers of reasoning systems in the Semantic Web where uncertainty of membership of individuals to concepts or roles is present.Facultad de Informátic