Author image not provided
 Immanuel Normann

Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article5.83
Citation Count35
Publication count6
Publication years2002-2015
Available for download1
Average downloads per article208.00
Downloads (cumulative)208
Downloads (12 Months)44
Downloads (6 Weeks)5
Arrow RightAuthor only

See all colleagues of this author


6 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 6 of 6
Sort by:

1 published by ACM
March 2015 Journal on Computing and Cultural Heritage (JOCCH): Volume 8 Issue 2, March 2015
Publisher: ACM
Citation Count: 1
Downloads (6 Weeks): 5,   Downloads (12 Months): 44,   Downloads (Overall): 208

Full text available: PDFPDF
Andean textiles are products of one of the richest, oldest and continuous weaving traditions in the world. Understanding the knowledge and practice of textile production as a form of cultural heritage is particularly relevant in the Andean context due to erosion of clothing traditions, reuse of traditional textiles on commodities ...
Keywords: ontologies, Knowledge base development, weaving traditions

November 2010 OM'10: Proceedings of the 5th International Conference on Ontology Matching - Volume 689
Citation Count: 0

This paper investigates the idea to treat repositories of ontologies as interlinked networks of ontologies, formally captured by the notion of a hyperontology. We apply standard matching algorithms to automatically create the linkage structure of the repository by performing pairwise matching. Subsequently, we define a modular workflow to construct combinations ...
Keywords: hyperontologies, connected alignments, consistency, modularity

September 2008 ONTORACT '08: Proceedings of the 2008 First International Workshop on Ontologies in Interactive Systems
Publisher: IEEE Computer Society
Citation Count: 1

This paper discusses the design challenges encountered when building an ontology repository for an application framework devoted to assistive technologies that can be browsed and queried in a highly heterogeneous and expressive way. As a main vehicle to achieve this goal we propose to use metadata and meta-reasoning. We analyze ...
Keywords: ontology repositories, metadata, assistive technology

June 2007 Calculemus '07 / MKM '07: Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Publisher: Springer-Verlag
Citation Count: 5

Even though only a tiny fraction of mathematical knowledge is available digitally (e.g in theorem prover or computer algebra libraries, in documents with content-markup), our current retrieval methods are already inadequate. With further increase in digitalization of mathematics the situation will get worse without significant advances. When searching a formula, ...

September 2006 AISC'06: Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Publisher: Springer-Verlag
Citation Count: 0

Finding new theorems is essential for the general progress in mathematics. Apart from creating and proving completely new theorems progress can also be achieved by theorem reuse; i.e. by translating theorems from related theories into the target theory and proving its translated premises under which the theorem was proven. This ...


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us