in sorted by

 [EXMO] bibliography selection ()

Rim Al-Hulou and others



Rim Al-Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Medina Ramirez, Amedeo Napoli, Raphaël Troncy, Three knowledge representation formalisms for content-based representation of documents, Proc. KR 2002 workshop Formal ontology, knowledge representation and intelligent systems for the world wide web, Toulouse (FR) ,
BibTeX
Semantic web/Web sémantique, Object-based knowledge représentation/Représentation de connaissance par objets, XML

Olivier Brunet and others



Olivier Brunet, Lattice approach to classifications, Proc. 12th European summer school logic, language and information, Birmimgham (UK) , pp34-44,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000a.ps.gz
We present a translation of J. Barwise and J. Seligman's "Information Flow Theory" into a lattice and Galois connection based formalism. We show how to transform the different structures of the theory into this formalism and show that this translation extends the expressivity of the theory.

Transformations


Olivier Brunet, Classifications et treillis, Actes 5es Rencontres nationales de jeunes chercheurs en intelligence artificielle, Lyon (FR) , pp29-38,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2000b.ps.gz
http://www710.univ-lyon1.fr/~rjcia/papiers/Brunet.pdf
Nous présentons un formalisme de traduction de l'Information Flow Theory, une théorie de représentation des transferts d'information développée par J. Barwise et J. Seligman, vers un formalisme standard de correspondances de Galois. Nous donnons certaines propriétés de cette traduction et montrons que celle-ci est totale et injective mais non surjective, ce qui signifie que cette théorie se traduit exactement sous forme de treillis et de correspondances de Galois mais que l'on peut l'enrichir en utilisant ce formalisme.
Représentation des connaissances, Compilation et approximation de connaissances
Transformations


Olivier Brunet, A Model for Knowledge Representation in Distributed Systems, Proc. KI workshop Modal Logic in AI, Wien (OS) , pp3-12,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2001a.ps.gz

Représentation des connaissances, Compilation et approximation de connaissances
Transformations


Olivier Brunet, A modal logic for observation-based knowledge representation, Proc. FLoC workshop Intuitionistic modal logic and applications, Copenhagen (DK) , pp69-81,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/publications/brunet2002a.pdf
In this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL.
Représentation des connaissances, Compilation et approximation de connaissances
Transformations

Raphaël Troncy and others



Raphaël Troncy, Intégration texte-représentation formelle pour la gestion de documents XML,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/reports/dea-troncy.ps.gz
Actuellement, le Web contient d'importantes quantités d'informations couvrant tous les sujets imaginables. Le problème qui était avant de savoir si une information, même très spécifique, était disponible sur le Web, est mainte nant devenu comment retrouver cette information. Apporter du sens intelligible et exploitable par des machines aux documents devrait leur permettre d'utiliser l'information présente, d'améliorer les techniques de recherche, et donc de faire du Web une gigantesque base de connaissance. Les langages de représentation de connaissance sont de bons candidats si l'on souhaite décrire le contenu de documents. L'action Escrire a d'ailleurs pour objectif d'en comparer trois. Parmi eux, la représentation de connaissances à objets apparaît particulièrement adaptée lorsqu'il s'agit de représenter des connaissances complexes sur un domaine en cours d'étude. On pourra alors manipuler plus efficacement une base de documents en les indexant par leur contenu (ou leur sens). Les documents pertinents seront ramenés à partir de requêtes structurées tirant parti du formalisme de représentation de connaissance (hiérarchie de classes, mécanismes de classification...). Nous avons d'abord observé le lien étroit existant entre la nature de la connaissance à représenter et le type du document. Nous avons aussi pu voir que plus que le contenu, c'est l'application résultante qui va décider des éléments à représenter. Nous avons donc essayé d'imaginer quels types de requêtes un utilisateur est susceptible de poser, ce qui nous a conduit à proposer un langage de requêtes. Un corpus de travail a été utilisé pour mettre en oeuvre les choix effectués. Il concerne les interactions géniques chez la drosophile pendant son processus de segmentation. Le système de représentation de connaissances à objets Troeps gère les connaissances contenues dans les documents. Un évaluateur de requêtes a été intégré à ce système pour permettre de l'interroger.
Représentation de connaissance, Représentation du contenu, Sémantique, XML, Recherche d'information, Annotations, Ontologies, Objets
Formal content representation/Représentation formelle de contenu


Raphaël Troncy, Intégration texte-représentation formelle pour la gestion de documents XML,
BibTeX
ftp://ftp.inrialpes.fr/pub/exmo/reports/troncy2000b.ps.gz
Représentation de connaissance, Représentation du contenu, Sémantique, XML, Recherche d'information, Annotations, Ontologies, Objets
Formal content representation/Représentation formelle de contenu


Raphaël Troncy, Antoine Isaac, DOE : une mise en oeuvre d'une méthode de structuration différentielle pour les ontologies, Actes 13es journées francophones Ingénierie des Connaissances, Rouen (FR) , pp63-74,
BibTeX
Semantic web/Web sémantique, Object-based knowledge représentation/Représentation de connaissance par objets, Semantics/Sémantique, XML

Bruno Bachimont and others



Bruno Bachimont, Raphaël Troncy, Antoine Isaac, Semantic Commitment for Designing Ontologies: A Proposal, Proc. 13th international conference knowledge engineering and knowledge management, Siguenza (ES) ,
BibTeX
Semantic web/Web sémantique, Object-based knowledge représentation/Représentation de connaissance par objets, Semantics/Sémantique, XML

Rim Al-Hulou and others



Rim Al-Hulou, Olivier Corby, Rose Dieng-Kuntz, Jérôme Euzenat, Carolina Medina Ramirez, Amedeo Napoli, Raphaël Troncy, Three knowledge representation formalisms for content-based representation of documents, Proc. KR 2002 workshop Formal ontology, knowledge representation and intelligent systems for the world wide web, Toulouse (FR) ,
BibTeX
Semantic web/Web sémantique, Object-based knowledge représentation/Représentation de connaissance par objets, XML

EXMO : research | people | papers | teaching | training | cooperation | software | applications | transfert © | ? | *

http://www.inrialpes.fr/exmo/papers/ © INRIA Rhône-Alpes, 1999-2000
Maintained by Jérôme Euzenat