In the wake of the development of technology to sequence the complete genome of an organism, it has become expedient to generate methodologies to elucidate and characterize the function of all genes constituting the complete genetic makeup of an organism,…

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)…

In this dissertation I examine the conceptions of opinion (<italic>doxa</italic>}), knowledge (<italic>gnosis</italic>), and understanding (<italic>episteme</italic>) that are presented by the character Socrates in Plato's <italic>Meno</italic> and <italic>Republic</italic>. A central claim I make, and one that sets my interpretation apart from…

The methodology “b-learning” is a new teaching scenario and it requires the creation, adaptation and application of new learning tools searching the assimilation of new collaborative competences. In this context, it is well known the knowledge spirals, the situational leadership…

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…

In the last few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

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…

Takeshi Yoshioka & George Herman., "October 1999.", Includes bibliographical references (p. 24-25).

The central thesis of this report is that human language is NP-complete. That is, the process of comprehending and producing utterances is bounded above by the class NP, and below by NP-hardness. This constructive complexity thesis has two empirical consequences.…

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…