De Bertrand De Beuvron François (original) (raw)
Uploads
Papers by De Bertrand De Beuvron François
Lecture Notes in Computer Science, 2009
Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still c... more Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents
Lecture Notes in Computer Science, 2001
In this paper we propose an approach of how to use description logics for modeling the case base ... more In this paper we propose an approach of how to use description logics for modeling the case base for case-based reasoning. We illustrate our approach by applying it to hybrid diagnosis. Integrating model-based and case-based reasoning for diagnostic problem solving we contribute to the domain of real time diagnosis. We describe the architecture of this approach, and present some preliminary experimental results. The case-based reasoning component of the hybrid diagnosis system is enabled to exploit description logic inferences for classifying and querying the case base. As description logic interpreter we use the system CICLOP, whereas the diagnosis system is implemented in G2. The description logic system runs as a server application and can thus be queried by the diagnosis system.
Applied ontology
TRIZ the Russian acronym for Theory of Resolution of Inventive Problems is a methodology to guide... more TRIZ the Russian acronym for Theory of Resolution of Inventive Problems is a methodology to guide the search for inventive solutions to one, or a few, difficult problems. Classic TRIZ is not well suited to the examination of complex situations composed of many problems, sub-problems and partial solutions, strongly interconnected. It has therefore been completed to give birth, among others, to the Inventive Design Methodology IDM framework.TRIZ and IDM share many similarities with Artificial Intelligence methods: they both propose to solve a problem by reformulation in an abstract model. Generic solving patterns are applied to this abstract model to produce abstract solutions. The domain-specific knowledge is then used to get the final solution concept. However, neither TRIZ nor IDM's descriptions are formal enough to permit a reliable software implementation and rely mainly on the experts' manual work. Therefore this paper proposes an ontological formalization of TRIZ and ID...
Lecture Notes in Computer Science, 2009
Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still c... more Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents
The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively stu... more The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively studied and used for qualitative spatial reasoning. Some sets of computational operations have also been defined for topological relations, as the CM8 set, that allows to compute the RCC8 relationships on raster images. In this paper, we propose a reified representation of the RCC8 spatial relationships and of the CM8 primitives, within a lattice of concepts, implemented in OWL (Ontology Web Language) in order to help the interpretation of urban satellite images. Our approach allows for a straightforward representation of concepts corresponding to conjuctions or disjunctions of RCC8 spatial relationships, and thus offers the advantage to overcome some drawbacks of the existing approaches in OWL, where spatial relations are represented as roles. Indeed, the OWL language does not allow the expression of the disjunction or of the conjunction of roles. We can then implement a reasoning on the R...
Lecture Notes in Computer Science, 2001
... de la Victoire, 67084 Strasbourg Cedex, France, Phone: +33388144753, Fax: +33388241490 {amali... more ... de la Victoire, 67084 Strasbourg Cedex, France, Phone: +33388144753, Fax: +33388241490 {amalia,beuvron,keith,rousse}@liia.u-strasbg.fr 3 Computer Science Institute, Romanian Academy - Iasi, 22, Carol Av., Iasi 6600, Romania dgalea@iit.iit.tuiasi.ro ...
… on Description Logics (DL'98), IRST …, 1998
The main challenge in a natural language interface for databases is to provide easy portability a... more The main challenge in a natural language interface for databases is to provide easy portability and fast customization for a new database. In this focus, we try to design a simple syntactic analyser that could be plugged to a database model with minimum e orts. We use consistency test and classi cation capabilities of description logics to solve ambiguities and semantic shortcuts. The introduction of limited regular expressions in Tableaux Calculus is studied for this purpose.
International Journal of Computer Applications in Technology, 2007
ABSTRACT An ideal TRIZ reasoning environment should support TRIZ fundamental concepts and simulat... more ABSTRACT An ideal TRIZ reasoning environment should support TRIZ fundamental concepts and simulate its thinking process. In this paper, an advanced TRIZ methodology is analysed in this perspective: the substance-field analysis. Previously, it has been shown that the TRIZ knowledge can be modelled and managed in an object-oriented ontology for computer aided problem formulation. A new ontological model based on this previous work is proposed in order to simulate the TRIZ problem solving stage: from the generation of a general solution to the interpretation phase linking the abstract field of general solution to the real field of physic.
Abstract This paper presents an indexing methodology, based on semantic and syntactic information... more Abstract This paper presents an indexing methodology, based on semantic and syntactic information. This methodology will be integrated in a system for querying a base of documents from the Web for a limited domain. Hierarchical domain knowledge is used for ...
By presenting a description logic model of the high water protection plan of Heidelberg we demons... more By presenting a description logic model of the high water protection plan of Heidelberg we demonstrate that description logics are an appropriate tool for supporting the management of natural disasters. The model enables testing its consistency, assessing disaster situations by means of realization, and retrieving situationdependent activities. Finally, we discuss the remaining problems on which we will work in the future.
The paper presents a prototype of a system for querying the Web in natural language (French) for ... more The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is used for filtering the results of the search and is extended dynamically, (when new concepts are identified in the texts) as result of DL inference mechanisms. The conceptual hierarchy is built semi-automatically from the texts. Different small French corpora (heart surgery, newspaper articles, papers on natural language processing) have been used for experimenting the prototype. The system uses shallow natural language parsing techniques and DL reasoning mechanisms are used to handle incomplete or incorrect user queries.
Procedia Computer Science, 2013
The extended use of high and very high spatial resolution imagery inherently demands the adoption... more The extended use of high and very high spatial resolution imagery inherently demands the adoption of classification methods capable of capturing the underlying semantic. Object-oriented classification methods are currently considered the most appropriate alternative, due to the incorporation of contextual information and domain knowledge into the analysis. Integrating knowledge initially requires a detailed process of acquisition and later the achievement of a formal representation. Ontologies constitute a very suitable approach to address both knowledge formalization and exploitation. A novel semi-automatic semantic approach focused on the extraction and classification of urban objects is hereby introduced. The use of a three-layered architecture allows the separation of concerns among knowledge, rules and experience. Knowledge represents the fundamental layer with which the other layers interact. Rules are meant to derive conclusions and make assertions based on knowledge. Finally, the experience layer supports the classification process in case of failure when attempting to identify an object, by applying specific expert rules to infer unusual membership.
Lecture Notes in Computer Science, 2009
Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still c... more Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents
Lecture Notes in Computer Science, 2001
In this paper we propose an approach of how to use description logics for modeling the case base ... more In this paper we propose an approach of how to use description logics for modeling the case base for case-based reasoning. We illustrate our approach by applying it to hybrid diagnosis. Integrating model-based and case-based reasoning for diagnostic problem solving we contribute to the domain of real time diagnosis. We describe the architecture of this approach, and present some preliminary experimental results. The case-based reasoning component of the hybrid diagnosis system is enabled to exploit description logic inferences for classifying and querying the case base. As description logic interpreter we use the system CICLOP, whereas the diagnosis system is implemented in G2. The description logic system runs as a server application and can thus be queried by the diagnosis system.
Applied ontology
TRIZ the Russian acronym for Theory of Resolution of Inventive Problems is a methodology to guide... more TRIZ the Russian acronym for Theory of Resolution of Inventive Problems is a methodology to guide the search for inventive solutions to one, or a few, difficult problems. Classic TRIZ is not well suited to the examination of complex situations composed of many problems, sub-problems and partial solutions, strongly interconnected. It has therefore been completed to give birth, among others, to the Inventive Design Methodology IDM framework.TRIZ and IDM share many similarities with Artificial Intelligence methods: they both propose to solve a problem by reformulation in an abstract model. Generic solving patterns are applied to this abstract model to produce abstract solutions. The domain-specific knowledge is then used to get the final solution concept. However, neither TRIZ nor IDM's descriptions are formal enough to permit a reliable software implementation and rely mainly on the experts' manual work. Therefore this paper proposes an ontological formalization of TRIZ and ID...
Lecture Notes in Computer Science, 2009
Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still c... more Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents
The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively stu... more The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively studied and used for qualitative spatial reasoning. Some sets of computational operations have also been defined for topological relations, as the CM8 set, that allows to compute the RCC8 relationships on raster images. In this paper, we propose a reified representation of the RCC8 spatial relationships and of the CM8 primitives, within a lattice of concepts, implemented in OWL (Ontology Web Language) in order to help the interpretation of urban satellite images. Our approach allows for a straightforward representation of concepts corresponding to conjuctions or disjunctions of RCC8 spatial relationships, and thus offers the advantage to overcome some drawbacks of the existing approaches in OWL, where spatial relations are represented as roles. Indeed, the OWL language does not allow the expression of the disjunction or of the conjunction of roles. We can then implement a reasoning on the R...
Lecture Notes in Computer Science, 2001
... de la Victoire, 67084 Strasbourg Cedex, France, Phone: +33388144753, Fax: +33388241490 {amali... more ... de la Victoire, 67084 Strasbourg Cedex, France, Phone: +33388144753, Fax: +33388241490 {amalia,beuvron,keith,rousse}@liia.u-strasbg.fr 3 Computer Science Institute, Romanian Academy - Iasi, 22, Carol Av., Iasi 6600, Romania dgalea@iit.iit.tuiasi.ro ...
… on Description Logics (DL'98), IRST …, 1998
The main challenge in a natural language interface for databases is to provide easy portability a... more The main challenge in a natural language interface for databases is to provide easy portability and fast customization for a new database. In this focus, we try to design a simple syntactic analyser that could be plugged to a database model with minimum e orts. We use consistency test and classi cation capabilities of description logics to solve ambiguities and semantic shortcuts. The introduction of limited regular expressions in Tableaux Calculus is studied for this purpose.
International Journal of Computer Applications in Technology, 2007
ABSTRACT An ideal TRIZ reasoning environment should support TRIZ fundamental concepts and simulat... more ABSTRACT An ideal TRIZ reasoning environment should support TRIZ fundamental concepts and simulate its thinking process. In this paper, an advanced TRIZ methodology is analysed in this perspective: the substance-field analysis. Previously, it has been shown that the TRIZ knowledge can be modelled and managed in an object-oriented ontology for computer aided problem formulation. A new ontological model based on this previous work is proposed in order to simulate the TRIZ problem solving stage: from the generation of a general solution to the interpretation phase linking the abstract field of general solution to the real field of physic.
Abstract This paper presents an indexing methodology, based on semantic and syntactic information... more Abstract This paper presents an indexing methodology, based on semantic and syntactic information. This methodology will be integrated in a system for querying a base of documents from the Web for a limited domain. Hierarchical domain knowledge is used for ...
By presenting a description logic model of the high water protection plan of Heidelberg we demons... more By presenting a description logic model of the high water protection plan of Heidelberg we demonstrate that description logics are an appropriate tool for supporting the management of natural disasters. The model enables testing its consistency, assessing disaster situations by means of realization, and retrieving situationdependent activities. Finally, we discuss the remaining problems on which we will work in the future.
The paper presents a prototype of a system for querying the Web in natural language (French) for ... more The paper presents a prototype of a system for querying the Web in natural language (French) for a limited domain. The domain knowledge, represented in description logics (DL), is used for filtering the results of the search and is extended dynamically, (when new concepts are identified in the texts) as result of DL inference mechanisms. The conceptual hierarchy is built semi-automatically from the texts. Different small French corpora (heart surgery, newspaper articles, papers on natural language processing) have been used for experimenting the prototype. The system uses shallow natural language parsing techniques and DL reasoning mechanisms are used to handle incomplete or incorrect user queries.
Procedia Computer Science, 2013
The extended use of high and very high spatial resolution imagery inherently demands the adoption... more The extended use of high and very high spatial resolution imagery inherently demands the adoption of classification methods capable of capturing the underlying semantic. Object-oriented classification methods are currently considered the most appropriate alternative, due to the incorporation of contextual information and domain knowledge into the analysis. Integrating knowledge initially requires a detailed process of acquisition and later the achievement of a formal representation. Ontologies constitute a very suitable approach to address both knowledge formalization and exploitation. A novel semi-automatic semantic approach focused on the extraction and classification of urban objects is hereby introduced. The use of a three-layered architecture allows the separation of concerns among knowledge, rules and experience. Knowledge represents the fundamental layer with which the other layers interact. Rules are meant to derive conclusions and make assertions based on knowledge. Finally, the experience layer supports the classification process in case of failure when attempting to identify an object, by applying specific expert rules to infer unusual membership.