The four-valued paraconsistent logic SROIQ4, originally presented by Ma and Hitzler, is extended to incorporate additional elements of SROIQ. It is shown that the modified logic is classically sound and that its embedding into classical SROIQ is consequence preserving. Furthermore, inserting special axioms into a SROIQ4 knowledge base allows additional nontrivial conclusions to be drawn, withou...

Most knowledge bases (KBs) that emerged in recent years are static. They contain facts about the world yet are seldom updated as the world changes: attributes or possessions of entities in the KB change over time; what (actions) the entities can do or what can be done to them change over time. Current methods for extracting facts in the KBs do not yet detect such state changes although these ch...

Most people know that the Pacific is the largest ocean on Earth and that Edison invented the light bulb. Our question is whether this knowledge is stable, or if people will incorporate errors into their knowledge bases, even if they have the correct knowledge stored in memory. To test this, we asked participants general-knowledge questions 2 weeks before they read stories that contained errors ...

Statement of interest We consider the epistemic concept language proposed in 5], which has been used to formalize procedural rules and weak deenitions using a very restricted form of epis-temic sentences. Our statement is that there are a number of other uses of the epistemic operator that require diierent forms of epistemic sentences in the knowledge base. To justify this statement we brieey r...

We developed a knowledge base for searching and browsing metabolic pathways. Using this system, we can retrieve various pathways related to genetic diseases, chemical compounds, and enzymes.

This paper presents a model supporting intelligent interactions of tourists with other tourists and locals and the tourism information of a particular Destination before, during and after the trip. The approach tries to bridge the “Community Gap” which is the lack of interactions among tourists and between tourists and locals at a particular Destination. Community interactions are very importan...

Systematical event trace analysis requires both detailed knowledge about the event trace analysis environment used and detailed knowledge about the object system itself. This article presents three important knowledge bases which, when contained in event trace analysis environments, facilitate achieving useful performance results of the system under investigation. ParaGraph — a dedicated event ...

In the paper, we proposed a general framework that could automatically extract key-phrases from a collection of web pages concerning a specific topic with the help of The Free Dictionary and then construct a personal knowledge base. Both the base and visual feature in a web page are used to calculate the weight of each candidate phrase. The system extracts top p% key-phrases for each web page b...

Inconsistent knowledge bases usually are regarded as an epistemic hell that have to be avoided at all costs. However, many times it is di cult or impossible to stay away of managing inconsistent knowledge bases. In this paper, we introduce an argumentation-based approach in order to manage inconsistent possibilistic knowledge bases. This approach will be exible enough for managing inconsistent ...