Mapping Audiovisual Metadata Formats Using Formal Semantics.
Martin HöffernigWerner BailerGünter NaglerHelmut MülnerPublished in: SAMT (2010)
Keyphrases
- formal semantics
- metadata
- multimedia content
- digital libraries
- logical language
- multimedia
- logical reasoning
- learning objects
- learning resources
- first order logic
- er model
- modeling language
- operational semantics
- modelling language
- formal language
- databases
- theorem prover
- ontology languages
- xml format
- xml schema
- database design
- object oriented
- probabilistic model
- relational databases
- artificial intelligence