A Mathematical Approach to Ontology Authoring and Documentation

DOI10.1007/978-3-642-02614-0_31zbMath1247.68279OpenAlexW1552880115WikidataQ57389405 ScholiaQ57389405MaRDI QIDQ3637294

Christoph Lange, Michael Kohlhase

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_31

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

A Mathematical Approach to Ontology Authoring and Documentation

Uses Software

• foaf
• ActiveMath
• OMDoc
• TNTBase
• LeActiveMath
• DocBook

Cites Work

• Integrating Web Services into Active Mathematical Documents
• A Mathematical Approach to Ontology Authoring and Documentation
• The Description Logic Handbook
• Notations for Living Mathematical Documents

This page was built for publication: A Mathematical Approach to Ontology Authoring and Documentation