A conceptual model for ontology quality assessment: A systematic review
With the continuous advancement of methods, tools, and techniques in ontology
development, ontologies have emerged in various fields such as machine learning, robotics …
development, ontologies have emerged in various fields such as machine learning, robotics …
A two-sorted logic for structurally modeling systems
Structural modeling of complex biological systems relies on formalisms inherited from
physics. These formalisms scale poorly when dealing with interactions with many variables …
physics. These formalisms scale poorly when dealing with interactions with many variables …
Pagoda: Pay-as-you-go ontology query answering using a datalog reasoner
Answering conjunctive queries over ontology-enriched datasets is a core reasoning task for
many applications. Query answering is, however, computationally very expensive, which …
many applications. Query answering is, however, computationally very expensive, which …
Supporting digital healthcare services using semantic web technologies
We report on our efforts and faced challenges in using Semantic Web technologies for the
purposes of supporting healthcare services provided by Babylon Health. First, we created a …
purposes of supporting healthcare services provided by Babylon Health. First, we created a …
Fast query answering over existential rules
Enhancing Datalog with existential quantification gives rise to Datalog∃, a powerful
knowledge representation language widely used in ontology-based query answering. In this …
knowledge representation language widely used in ontology-based query answering. In this …
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Triple stores implementing the RL profile of OWL 2 are becoming increasingly popular. In
contrast to unrestricted OWL 2, the RL profile is known to enjoy favourable computational …
contrast to unrestricted OWL 2, the RL profile is known to enjoy favourable computational …
Identification of missing concepts in biomedical terminologies using sequence-based formal concept analysis
Background As biomedical knowledge is rapidly evolving, concept enrichment of biomedical
terminologies is an active research area involving automatic identification of missing or new …
terminologies is an active research area involving automatic identification of missing or new …
On the satisfiability problem for SPARQL patterns
The satisfiability problem for SPARQL 1.0 patterns is undecidable in general, since the
relational algebra can be emulated using such patterns. The goal of this paper is to …
relational algebra can be emulated using such patterns. The goal of this paper is to …
Pay-as-you-go OWL query answering using a triple store
We present an enhanced hybrid approach to OWL query answering that combines an RDF
triple-store with an OWL reasoner in order to provide scalable pay-as-you-go performance …
triple-store with an OWL reasoner in order to provide scalable pay-as-you-go performance …
Semantic analysis and retrieval of spatial data based on the uncertain ontology model in digital earth
Metadata are the information about and description of data. In Digital Earth, metadata
become variant and heterogeneous with many uncertainties. This paper studies uncertain …
become variant and heterogeneous with many uncertainties. This paper studies uncertain …