Journal on Computing and Cultural Heritage (JOCCH): Volume 8 Issue 2, March 2015
Citation Count: 1
Downloads (6 Weeks): 5, Downloads (12 Months): 44, Downloads (Overall): 208
Full text available:
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 ...
ontologies, Knowledge base development, weaving traditions
OM'10: Proceedings of the 5th International Conference on Ontology Matching - Volume 689
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 ...
hyperontologies, connected alignments, consistency, modularity
ONTORACT '08: Proceedings of the 2008 First International Workshop on Ontologies in Interactive Systems
Publisher: IEEE Computer Society
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 ...
ontology repositories, metadata, assistive technology
Calculemus '07 / MKM '07: Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
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, ...
AISC'06: Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
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 ...
CADE-18: Proceedings of the 18th International Conference on Automated Deduction