Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model and a formal concept model that supoorts collaborative work. The proposed concept model, which is based on terminological logic and IBIS. The terminological logic part is intended to formally express definitions, while the IBIS part enable users to to express arguments and endorsements on links between terms and definitions. The process model is based on a cyclic conflict resolution process. It includes a formal concept comparison operation, to highlight definition conflicts and their nature, and other operations (derivation, conjunction, disjunction, etc.) to solve the detected conflicts. 1. This work is a part of a joint project between the CUI and the ETI (School of Translation and Interpretation) at the University of Geneva
Abstract-We present a precise search engine adapted to professional environments which are characterized by a domain (e.g. medicine, law, sport, and so on). In our approach, each domain has its own terminology (i.e. a set of terms that denote its concepts: team, player, etc.) and it is organized along dimensions, such as person, location, etc. The dimensions, as described below, are made of concepts and semantic relationships that represent a particular perspective or point of view on the domain. We mainly use the notion of domain dimension to: i) precisely index document content, and ii) develop an interactive interface which allows the user to precisely describe his or her information need and therefore precisely access the document collection.Index Terms-Information retrieval, domain dimensions, user interface.
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design task in a collaborative work environment. The proposed concept model is based on terminological logic and the issue-based model IBIS. The terminological logic part is intended to formally express definitions and associate them to terms and points of view. The process model we define is based on a cyclic conflict resolution process. It includes a formal concept comparison operation, to highlight definition conflicts and their nature, and other operations (derivation, intersection, union, etc.) to solve the detected conflicts. The IBIS part of the model enable users to express and record issues, positions, arguments and endorsements that occur during conflict resolution
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.