Learn More
This paper describes an ontology-driven model, which integrates Bayesian networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes use of probability and dependency-annotated OWL to represent uncertain information in BN structures. These extensions enhance knowledge representation in OWL and enable agents to act(More)
The theoretical foundations for a definition of distance on ontologies are laid out in this paper. The distance measure is defined using the well known concepts of entropy and mutual information from information theory. These formal methods are adapted for practical use in ontologies through the definition of useful discrete random variables. These include(More)
KOMET is a logic-based mediator system that was designed for the knowledge-based integration of heterogeneous information sources CJKS97]. One of the main challenges in using the numerous information sources in the World Wide Web is to cope with their heterogeneity. In this work we demonstrate how popular web search services like Yahoo and AltaVista can be(More)
Solving sophisticated mathematical problems often requires algebraic algorithms and theorems. However, there are no environments integrating theorem provers and computer algebra systems which consistently provide the inference capabilities of the rst and the powerful arithmetic of the latter systems. As an example for such a mechanized mathematics(More)
We present KOMET, an architecture for the intelligent integration of heterogeneous information sources. It is based on the idea of a mediator, which is an independent software layer between an application and various knowledge sources which need to be accessed. We present an especially suitable logic-based language for encoding typical mediation tasks like(More)
Corporate knowledge consists both of information that is available throughout a company and of information technology frameworks and paradigms. Considering an enterprise as a distributed computational paradigm, multi-agent systems can be proposed to address knowledge management issues within a company. We consider in this paper a new approach for corporate(More)
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problems within some logical framework. Integrating CASs and ATPs allows for the solution of problems of a higher(More)
An enterprise can be considered in a distributed computational paradigm. Multiagent systems have been invented to tackle such problems within artificial intelligence but are today seen also as a management methodology. The Agent Oriented Abstraction has been proposed to describe in a fully generic way a society of agents. In this paper, we are investigating(More)