China
Africa
Explore chapters and articles related to this topic
Managing space requirements of new buildings using linked building data technologies
Published in Jan Karlshøj, Raimar Scherer, eWork and eBusiness in Architecture, Engineering and Construction, 2018
M.H. Rasmussen, C.A. Hviid, J. Karlshøj, M. Bonduel
An RDF graph is traversed using the SPARQL Protocol and RDF Query Language (SPARQL) and if it is described using widely adopted ontologies it is possible to structure generic, globally applicable queries to deduce knowledge. The semantics described in the TBox also allow reasoning engines to deduce implicit knowledge from what is explicitly defined in the ABox. A simple example: If chair is a sub-class of furniture (TBox), then all instances of chair are also instances of furniture (ABox).
Reasoning on objects and grasping using description logics
Published in Advanced Robotics, 2019
Nicola Vitucci, Giuseppina Gini
DLs are used for building knowledge bases, which are collections of statements regarding concepts (also called classes), roles (also known as properties) and individuals (denoted also as instances or objects), organized into 3 groups of axioms: axioms describing concepts and their relations are in the terminological box (TBox);axioms describing individuals and their relations with concepts and other individuals are in the assertional box (ABox);axioms referring to properties of roles are in the relational box (Rbox).
Ontology-Based decision tree model for prediction of fatty liver diseases
Published in Computer Methods in Biomechanics and Biomedical Engineering, 2023
Seyed Yashar Banihashem, Saman Shishehchi
Tbox is used to keep class axioms during the loading of ontology files, and Abox is used to store individuals (De Giacomo and Lenzerini 1996). In this paper, the Drool inference engine to inference the SWRL rules were employed to detect the patients with fatty liver disease. As illustrated in Figure 1, knowledge related to patients in data sets are the same in ontology and decision tree as inputs. So, the result of rule inference from ontology should be precisely the same as decision tree leaves. A screenshot of the Tbox of the ontology for this research is shown in Figure 5.
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
Published in Journal of Applied Non-Classical Logics, 2023
Sihem Belabbes, Salem Benferhat
In this paper, we focus our attention on reasoning with inconsistent ontologies. Formally, an ontology is a Description Logic (Baader et al., 2007) knowledge base composed of a TBox and an ABox. The TBox contains terminological knowledge designed by domain experts and represented as axioms, which can be safely considered as correct. The ABox contains assertions, which are ground facts about particular entities, i.e. data pieces obtained from multiple sources. Inconsistency in an ontology occurs when the assertions are contradictory with respect to the axioms.