BibSonomy Output

url

Towards Principles for the Design of Ontologies Used for Knowledge Sharing

Gruber, T. R.

Formal Ontology in Conceptual Analysis and Knowledge

,

1993

Information Flow based ontology mapping

Kalfoglou, Y. & Schorlemmer, M.

Proceedings of the 1st International Conference on Ontologies, Databases and Application of Semantics (ODBASE'02), Irvine, CA, USA

,

pp. 1132-1151

,

2002

The information flow foundation for conceptual knowledge organization

Kent, R.

6th International Conference of the International Society for Knowledge Organization

,

2000

lutz05

url

A Tableau Algorithm for Description Logics with Concrete Domains and GCIs

Lutz, C. & MiliÄiÄ, M.

Automated Reasoning with Analytic Tableaux and Related Methods

,

pp. 201-216

,

2005

Automated Reasoning

Stanford Encyclopedia of Philosophy

2006

url

Learning Disjointness

Volker, J.; VrandeÄiÄ, D.; Sure, Y. & Hotho, A.

The Semantic Web: Research and Applications

,

pp. 175-189

,

2007