Filtern
Erscheinungsjahr
- 2010 (11) (entfernen)
Dokumenttyp
- Ausgabe (Heft) zu einer Zeitschrift (11) (entfernen)
Sprache
- Englisch (11) (entfernen)
Schlagworte
- ontology (2)
- Context-aware processes (1)
- Core Ontology on Multimedia (1)
- Description Logic (1)
- Description Logics (1)
- Distributed process execution (1)
- Knowledge Compilation (1)
- Model-Driven Engineering (1)
- Multimedia Metadata Ontology (1)
- OWL (1)
- Ontology (1)
- POIs (1)
- Petri net (1)
- Probability propagation nets (1)
- Process tracing (1)
- application programming interfaces (1)
- constraint logic programming (1)
- events (1)
- hybrid automata (1)
- iCity project (1)
- mobile interaction (1)
- mobile phone (1)
- multi-agent systems (1)
- multimedia metadata (1)
- points of interest (1)
- privacy protection (1)
- public key infrastructure (1)
- rich multimedia presentations (1)
- semantic annotation (1)
- semantics (1)
- visualization (1)
Institut
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered efficiently. This precompilation step is expensive, but it only has to be performed once. We apply this technique to concepts defined in the Description Logic ALC. We introduce a normal form called linkless normal form for ALC concepts and discuss an efficient satisability test for concepts given in this normal form. Furthermore, we will show how to efficiently calculate uniform interpolants of precompiled concepts w.r.t. a given signature.