A state-of-the-art review on the integration of Building Information Modeling (BIM) and Geographic Information System (GIS)
The integration of Building Information Modeling (BIM) and Geographic Information System
(GIS) has been identified as a promising but challenging topic to transform information …
(GIS) has been identified as a promising but challenging topic to transform information …
Ontology engineering methodologies for the evolution of living and reused ontologies: status, trends, findings and recommendations
The aim of this critical review paper is threefold:(a) to provide an insight on the impact of
ontology engineering methodologies (OEMs) to the evolution of living and reused …
ontology engineering methodologies (OEMs) to the evolution of living and reused …
[BOOK][B] Introduction to description logic
Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …
representation, being designed so that domain knowledge can be described and so that …
[BOOK][B] Foundations of semantic web technologies
Thoroughly covering basic introductions and intuitions, technical details, and formal
foundations, this text focuses on the established foundations in this area that have become …
foundations, this text focuses on the established foundations in this area that have become …
[PDF][PDF] Hermit: A highly-efficient OWL reasoner.
HermiT is a new OWL reasoner based on a novel “hypertableau” calculus. The new calculus
addresses performance problems due to nondeterminism and model size—the primary …
addresses performance problems due to nondeterminism and model size—the primary …
The DL-Lite family and relations
The recently introduced series of description logics under the common monikerDL-Lite'has
attracted attention of the description logic and semantic web communities due to the low …
attracted attention of the description logic and semantic web communities due to the low …
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰ ℒ Ontologies
Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …
existential restrictions. Due to its favorable computational properties and relevance to …
Ontologies and the semantic web
I Horrocks - Communications of the ACM, 2008 - dl.acm.org
Ontologies and the semantic web Page 1 58 communications of the acm | december 2008 | vol.
51 | no. 12 contributed articles While phenomenally successful in terms of amount of accessible …
51 | no. 12 contributed articles While phenomenally successful in terms of amount of accessible …
Hypertableau reasoning for description logics
We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge
representation formalism with applications in areas such as the Semantic Web …
representation formalism with applications in areas such as the Semantic Web …
[BOOK][B] Description logics
In this chapter, we explain what description logics are and why they make good ontology
languages. In particular, we introduce the description logic SHIQ, which has formed the …
languages. In particular, we introduce the description logic SHIQ, which has formed the …