Articles with "formal axioms" as a keyword



Photo by scottwebb from unsplash

Formal axioms in biomedical ontologies improve analysis and interpretation of associated data

Sign Up to like & get
recommendations!
Published in 2019 at "Bioinformatics"

DOI: 10.1093/bioinformatics/btz920

Abstract: Abstract Motivation Over the past years, significant resources have been invested into formalizing biomedical ontologies. Formal axioms in ontologies have been developed and used to detect and ensure ontology consistency, find unsatisfiable classes, improve interoperability,… read more here.

Keywords: formal axioms; ontology; knowledge; analysis ... See more keywords