[HTML][HTML] Enhancing context knowledge repositories with justifiable exceptions
Dealing with context dependent knowledge is a well-known area of study that roots in John
McCarthy's seminal work. More recently, the Contextualized Knowledge Repository (CKR) …
McCarthy's seminal work. More recently, the Contextualized Knowledge Repository (CKR) …
Fast computation of explanations for inconsistency in large-scale knowledge graphs
Knowledge graphs (KGs) are essential resources for many applications including Web
search and question answering. As KGs are often automatically constructed, they may …
search and question answering. As KGs are often automatically constructed, they may …
Automated reasoning in temporal DL-Lite
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-
Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check …
Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check …
[PDF][PDF] Abstracting temporal aboxes in tdl-lite
We propose an approach for abstracting temporal ABoxes over temporal DL-Lite knowledge
bases (KBs)[2, 3, 1, 4, 12] to improve the reasoning performance when dealing with large …
bases (KBs)[2, 3, 1, 4, 12] to improve the reasoning performance when dealing with large …
Distributed scalable abstract reasoning based on dl-lite
B Xia - Journal of Physics: Conference Series, 2019 - iopscience.iop.org
In recent years, researchs have shown that the ontology of a large number of data sets can
be inferred effectively by abstract techniques. Distributed environment can further improve …
be inferred effectively by abstract techniques. Distributed environment can further improve …