Cargando…
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies
Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts...
Autores principales: | Xu, Jia, Shironoshita, Patrick, Visser, Ubbo, John, Nigel, Kabuka, Mansur |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2015
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4652860/ https://www.ncbi.nlm.nih.gov/pubmed/26594595 http://dx.doi.org/10.4236/ijis.2015.51005 |
Ejemplares similares
-
SSIF: Subsumption-based Sub-term Inference Framework to audit Gene Ontology
por: Abeysinghe, Rashmie, et al.
Publicado: (2020) -
Instance Sequence Queries for Video Instance Segmentation with Transformers
por: Xu, Zhujun, et al.
Publicado: (2021) -
OWL Reasoning: Subsumption Test Hardness and Modularity
por: Matentzoglu, Nicolas, et al.
Publicado: (2017) -
Subsumption Demodulation in First-Order Theorem Proving
por: Gleiss, Bernhard, et al.
Publicado: (2020) -
NEO: Systematic Non-Lattice Embedding of Ontologies for Comparing the Subsumption Relationship in SNOMED CT and in FMA Using MapReduce
por: Zhu, Wei, et al.
Publicado: (2015)