BibSonomy :: user  :: thau ::

bookmarks

publications

(6)   

• Towards Principles for the Design of Ontologies Used for Knowledge Sharing
  T. R. Gruber Formal Ontology in Conceptual Analysis and Knowledge, Deventer, Netherlands, Kluwer, (1993)
  to kr ontology sharing by thau and 11 other people on Oct 6, 2007, 1:55 AM
  URL | BibTeX 
• Learning Disjointness
  Johanna Volker and Denny Vrandečić and York Sure and Andreas Hotho The Semantic Web: Research and Applications(2007)
  to kr learning ontology by thau on Oct 6, 2007, 1:51 AM
  URL | BibTeX 
• A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
  Carsten Lutz and Maja Miličić Automated Reasoning with Analytic Tableaux and Related Methods(2005)
  to description-logic kr rcc by thau on Oct 5, 2007, 11:34 PM
  URL | BibTeX 
• The information flow foundation for conceptual knowledge organization
  R. Kent 6th International Conference of the International Society for Knowledge Organization, july2000.
  to information-flow kr by thau on Sep 27, 2007, 8:44 PM
  BibTeX 
• Information Flow based ontology mapping
  Y. Kalfoglou and M. Schorlemmer Proceedings of the 1st International Conference on Ontologies, Databases and Application of Semantics (ODBASE'02), Irvine, CA, USA, page1132-1151. oct2002.
  to information-flow integration kr mapping ontology by thau and 1 other person on Sep 27, 2007, 8:44 PM
  BibTeX 
• Automated Reasoning
  Stanford Encyclopedia of Philosophy urlhttp://plato.stanford.edu/entries/reasoning-automated/, (2006)
  to kr logic by thau on Sep 27, 2007, 8:44 PM
  BibTeX