Lexico-Logical Acquisition of OWL DL Axioms.
Johanna VölkerSebastian RudolphPublished in: ICFCA (2008)
Keyphrases
- owl dl
- logical theories
- description logics
- semantic web
- reasoning systems
- domain ontology
- reasoning problems
- ontology languages
- situation calculus
- owl dl ontology
- formal semantics
- knowledge base
- databases
- belief revision
- first order logic
- data mining
- semantic information
- software engineering
- knowledge representation
- information technology
- model theoretic
- artificial intelligence