The need to reason with knowledge expressed in both Logic Programming (LP) and Description Logics (DLs) paradigms on the Semantic Web lead to several integrating formalisms, e.g., Description Logic programs (dl-programs) allow a logic program to retrieve results from and feed results to a DL knowledge base. Two functional extensions of dl-programs are HEX programs and fuzzy dl-programs. The for...

In an attempt to extend existing knowledge representation systems to deal with the imperfect nature of real world information involved in several applications, the AI community has devoted considerable attention to the representation and management of uncertainty, imprecision and vague knowledge. Moreover, a lot of work has been carried out on the development of reasoning engines that can inter...

This work introduces an OWL-based upper ontology, called OWL-FC (Ontology Web Language for Fuzzy Control), capable to support a semantic definition of Fuzzy Control. It focuses on the fuzzy rules representation by providing domain independent ontology, supporting interoperability and favoring domain ontologies re-usability. The main contribution is that OWL-FC exploits Fuzzy Logic in OWL to mod...

Imprecise and vague information is part of our lives. Concepts like “tall”, “clever”, “fat” and others are imprecise since they can be used with slightly different meaning. Hence, we might use the concept tall to say that Paul is tall and Frank is tall. In this case someone could consider that Paul and Frank have the same height, fact that is not necessarily true. Similar problems occur in many...

In this paper we propose an approach to vagueness characterised by two features. The first one is philosophical: we move along a Kantian path emphasizing the knowing subject’s conceptual apparatus. The second one is formal: to face vagueness, and our philosophical view on it, we propose to use topology and formal topology. We show that the Kantian and the topological features joined together al...

The great evolution of ontologies during the last decade, bred the need for storage and querying for the Semantic Web. For that purpose, many RDF tools capable of storing a knowledge base, and also performing queries on it, were constructed. Recently, fuzzy extensions to description logics have gained considerable attention especially for the purposes of handling vague information in many appli...

Some manipulations with vague quantities consist in an aggregation of vague amounts where the resulting aggregated quantity (in our case a sum of vague summands) is expected to be (almost) crisp. The aim of this contribution is to analyze and briefly discuss various approaches to this problem which can be supported by the elementary theory of fuzzy quantities. The analysis is focused on the pos...

The interoperability of Clinical Decision Support (CDS) systems is an important obstacle for their adoption. The lack of appropriate mechanisms to specify the semantics of their interfaces is a common barrier in their implementation. In this systematic review we aim to provide a clear insight into current approaches for the integration and semantic interoperability of CDS systems. Published con...

This paper 1 describes work in progress concerning the semantic and pragmatic interpretation of utterances in human-computer natural language information dialogues, as developed in the ELTA project at Tilburg University. This project aims at developing and applying an integrated approach to semantic and pragmatic interpretation of dialogue utterances, where the application is sought in the form...

This paper deals with inference using multiple patterns. Inference among vague information, e.g. patterns, has caused \explosion of vagueness". This paper proposes a new mechanism to suppress the increase of vagueness. This paper also proposes a modi cation method for pattern space based on a new concept of vagueness in patterns. Simulations are done to demonstrate the potentiality of the propo...