Theoretical Computer Science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science - Special issue: algebraic development techniques
Type-logical semantics
Why ontologies are not enough for sharing
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
Expert Systems
Hi-index | 0.00 |
Research on ontologies has been pursued as a solution to the difficult problem of knowledge sharing. Ontologies consist of a domain description which suits the needs of all systems to be integrated. Any agreed ontology, however, is not the end of the problems involved in knowledge sharing since how we represent knowledge is intimately linked to the inferences we expect to perform with it. Knowledge sharing cannot ignore the similarities and differences between the inference engines participating in the information exchange. We illustrate this issue via a case study on resource-sensitive knowledge-based systems and we show how these can efficiently share their knowledge using combinator logics.