Interrogation et vérification de documents OWL dans le modèle des Graphes Conceptuels
暂无分享,去创建一个
[1] Marie-Laure Mugnier,et al. Positive Nested Conceptual Graphs , 1997, ICCS.
[2] Catherine Faron-Zucker,et al. Towards Correspondence between Conceptual Graphs and Description Logics , 1998, ICCS.
[3] Jean-François Baget,et al. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..
[4] Volker Haarslev,et al. RACER System Description , 2001, IJCAR.
[5] Eric Salvat,et al. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism , 1998, ECAI.