Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Haarslev, Volker"'
Autor:
Quan, Zixi, Haarslev, Volker
In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL). We focus on OWL ontology classification, which is an important inference service and supported by every majo
Externí odkaz:
http://arxiv.org/abs/1906.07749
Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properly ordering disjuncts in disjunction expressions of ontologies for sati
Externí odkaz:
http://arxiv.org/abs/1904.09443
Optimization techniques play a significant role in improving description logic reasoners covering the Web Ontology Language (OWL). These techniques are essential to speed up these reasoners. Many of the optimization techniques are based on heuristic
Externí odkaz:
http://arxiv.org/abs/1810.06617
Autor:
Farid, Humaira, Haarslev, Volker
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency. Numerical restrictions imposed by nominals, existential and universal restrictions are encoded into a set of linear inequaliti
Externí odkaz:
http://arxiv.org/abs/1810.00916
Publikováno v:
International Journal of Telemedicine and Applications, Volume 2009, Article ID 917826, 14 pages, PubMed ID: 19343191
Requirement volatility is an issue in software engineering in general, and in Web-based clinical applications in particular, which often originates from an incomplete knowledge of the domain of interest. With advances in the health science, many feat
Externí odkaz:
http://arxiv.org/abs/0906.1842
Autor:
Mehri, Razieh1 (AUTHOR), Haarslev, Volker1 (AUTHOR) haarslev@cse.concordia.ca, Chinaei, Hamidreza2 (AUTHOR)
Publikováno v:
Computational Intelligence. Feb2021, Vol. 37 Issue 1, p273-314. 42p.
Autor:
El-Hachem, Jinan a, Shaban-Nejad, Arash b, ⁎, Haarslev, Volker a, DubŽ, Laurette c, Buckeridge, David L. b
Publikováno v:
In Procedia Computer Science 2012 10:110-119
Publikováno v:
The Monist, 2007 Oct 01. 90(4), 585-601.
Externí odkaz:
https://www.jstor.org/stable/27904058
Autor:
Faddoul, Jocelyne ⁎, Haarslev, Volker
Publikováno v:
In Journal of Applied Logic 2010 8(4):334-355