How Formal Ontology can help Civil Engineers

  • Stefano Borgo
Part of the Studies in Computational Intelligence book series (SCI, volume 61)


Individual Quality Formal Semantic Domain Ontology Formal Ontology Linguistic Resource 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Borgo, S., Gangemi, A.: At the core of core ontologies. In Gangemi, A., Borgo, S., eds.: Pro ceedings of the Workshop on Core Ontologies in Ontology Engineering, 118 (2004)1-4Google Scholar
  2. 2.
    Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies 43 (1995) 907-928CrossRefGoogle Scholar
  3. 3.
    Guarino, N.: Formal ontology in information systems. In Guarino, N., ed.: Proceedings of the Second International Conference on Formal Ontology in Information Systems, IOS Press (1998)3-15Google Scholar
  4. 4.
    Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A.: Ontology Library (Wonder-Web Deliverable D18). Availableat (2003)
  5. 5.
    Masolo, C., Borgo, S.: Qualities in formal ontology. In Hitzler, P., Lutz, C., Stumme, G., eds.: Foundational Aspects of Ontologies (FOnt), Universitat Koblenz (2005) 2-16Google Scholar
  6. 6.
    Fellbaum, C.e.: WordNet An Electronic Lexical Database. Bradford Book (1998)Google Scholar
  7. 7.
    Prevot, L., Borgo, S., Oltramari, A.: Interfacing ontologies and lexical resources. In: Ontologies and Lexical Resources: IJCNLP-05 Workshop. (2005) 1-12Google Scholar
  8. 8.
    CoFI: CASL Reference Manual. LNCS 2960 (IFIP Series). Springer (2004)Google Scholar
  9. 9.
    Luettich, K., Mossakowski, T.: Specification of ontologies in casl. In Varzi, A., Vieu, L., eds.: Proceedings of the Thrird International Conference FOIS 2004. Volume 114., IOS Press (2004)140-150Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Stefano Borgo
    • 1
  1. 1.Laboratory for Applied OntologyISTC-CNRTrento

Personalised recommendations