Game Description Logic with Integers: A GDL Numerical Extension.
Munyque MittelmannLaurent PerrusselPublished in: FoIKS (2020)
Keyphrases
- description logics
- knowledge base
- general game playing
- dl lite
- reasoning tasks
- computational properties
- video games
- logical implication
- knowledge representation
- computing least common subsumers
- snomed ct
- reasoning mechanism
- game playing
- semantic web
- owl dl
- concept descriptions
- reasoning systems
- model theoretic
- ontology languages
- database systems
- reasoning problems
- game players
- deductive databases
- number restrictions
- dl programs
- knowledge representation languages
- tableau calculus