Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an ontology, concerning the horticultural domain of Agriculture, and examine its usage in particular application areas. The proposed ontology is used, (a) as a refine and classification tool facilitating searching process...

Hierarchical proof presentations are ubiquitous within logic and computer science, but have made little impact on mathematics in general. The reasons for this are not currently known, and need to be understood if mathematical knowledge management systems are to gain acceptance in the mathematical community. We report on some initial experiments with three users of a set of web-based hierarchica...

Some of the recent proposals of web-based applications are oriented to provide advanced search services through virtual shops. Within this context, this paper proposes an advanced type of software application that simulates how a sales assistant dialogues with a consumer to dynamically configure a product according to particular needs. The paper presents the general knowledge model that uses ar...

A novice engineer often faces many difficulties during the design of liquid retaining structures, which involve making many decisions on the basis of judgment, heuristics, code of practice, rules of thumb, and previous experience. There is a need to develop programming environments that can incorporate engineering judgment along with algorithmic tools. In this paper, the development of a web-ba...

In this paper, we present research trends carried out in the Orpailleur team at loria, showing how knowledge discovery and knowledge processing may be combined. The knowledge discovery in databases process (kdd) consists in processing a huge volume of data for extracting significant and reusable knowledge units. From a knowledge representation perspective, the kdd process may take advantage of ...

For the design of new applications in the information and communication technology (ICT) area with ever shorter lifecycles, the availability of the most recent knowledge is mandatory. The intervals within the acquired knowledge bases therefore have to be updated, become shorter and shorter. In this paper we present a new interactive webbased training system supported by the European Union to st...

Detecting logical inconsistency in collected information is a vital function when deploying a knowledge-based warning system to monitor a specific application domain for the reason that logical inconsistency is often hidden from seemingly consistent information and may lead to unexpected results. Existing logical inconsistency detection methods usually focus on information stored in a knowledge...

Web technologies enable the discovery and exchange of knowledge from many different locations using many different channels. This implies that one is able to discover and exchange knowledge while using a PDA when traveling by train for instance. A provisional Web-based application referred to as ‘DEXAR: Discovery and eXchange of Revealed knowledge’ is therefore introduced to illustrate the poss...

This article summarizes the authors’ experience in implementing CGWorld a web-based workbench for distributed development of a knowledge base of conceptual graphs, stored on a central server. The conceptual graph theory is discussed and the implementation of it in CGWorld is presented.

Interoperability and reuse of components and declarative knowledge are crucial to the further development of knowledge-based software. Unfortunately, it is hard to get components to interoperate and even harder to reuse other people’s work. These difficulties are often a result of incompatibilities in the knowledge models (the precise definition of declarative knowledge structures) assumed by t...