A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages, Journal of Logic and Computation, vol.6, issue.1, pp.33-54, 1996. ,
DOI : 10.1093/logcom/6.1.33
Fusions of description logics and abstract description systems, Journal of Artificial Intelligence Research, vol.16, pp.1-58, 2002. ,
The SG family: extensions of simple conceptual graphs, Proc. 17th IJ- CAI, pp.205-210, 2001. ,
A proposal for a description logic interface, Proc. int. workshop on description logics, Linkping (SE), number CEUR-WS-22, 1999. ,
The Semantic Web, Scientific American, vol.284, issue.5, pp.35-43, 2001. ,
DOI : 10.1038/scientificamerican0501-34
On the decidability of query containment under constraints, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.149-158, 1998. ,
DOI : 10.1145/275487.275504
OntoMorph: a translation system for symbolic knowledge, Proceedings of 7th international conference on knowledge representation and reasoning (KR), Breckenridge, pp.471-482, 2000. ,
Ontology-based semantics, Proceedings of 7th international conference on knowledge representation and reasoning Breckenridge, pp.539-546, 2000. ,
A mathematical introduction to logic. Academic press, 1972. ,
Preserving modularity in XML encoding of description logics, Proc. 14th workshop on description logics (DL), Stanford (CA US), pp.20-29, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00822912
Towards a principled approach to semantic interoperability, Proc. IJCAI 2001 workshop on ontology and information sharing, pp.19-25, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00822909
OIL in a Nutshell, 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000, 2000. ,
DOI : 10.1007/3-540-39967-4_1
A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, issue.2, pp.199-220, 1993. ,
DOI : 10.1006/knac.1993.1008
A denotational semantics for Standard OIL and Instance OIL, 2000. ,
Query containment using a DLR abox -preliminary version, LCTS Report, pp.99-114, 1999. ,
Readings in Knowledge Representation, chapter A Fundamental Tradeoff in Knowledge Representation and Reasoning (Revised Version), pp.31-40, 1985. ,
Criteri di confronto e costruzione di teorie assiomatiche per la rappresentazione della conoscenza: ontologie dello spazio e del tempo, 2000. ,
DAML-ONT: An ontology language for the semantic web The semantic web: why, what, and how?, 2002. ,
Semantic translation based on approximate re-classification, Proceedings of the KR workshop on semantic approximation granularity and vagueness, Breckenridge, 2000. ,