We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

We examine semantic interoperability problems in the fixed income securities industry
and propose a knowledge representation architecture for context interchange
mediation to support dynamic integration of autonomous database, web, and
procedural sources of information. For sources and…

In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

The supervision of postgraduate Master's Degree dissertations has attracted little attention in the
academic literature and is an under researched area of supervisory activity. This research was a
response to generate new knowledge concerning the praxis of supervisors who supervise…

The Family Quality Of Life (FQOL) of families who have a child with Tourette Syndrome (TS) has not yet been investigated globally. The purpose of this study was to gather data and listen to the voices and opinions of families…

The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and outlines the design of a computational model of common…

We had previously shown that regularization principles lead to approximation schemes, as Radial Basis Functions, which are equivalent to networks with one layer of hidden units, called Regularization Networks. In this paper we show that regularization networks encompass a much…

The thesis explores architectural form generation through two behavior based artificial intelligence approaches: the communication of agents in an unpredictable simulation system, and the codification of information within an evolutionary process. Both concepts stem from the evaluation of potentially definable…

Design and optimization of distillation columns for ethanol dehydration, using a hydrocarbon as entrainer, implies a good knowledge of vapor-liquid (VLE), liquid-liquid (LLE) and vapor-liquid-liquid equilibrium (VLLE). Chemical process simulation programs always require the use of a thermodynamic model that…