A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic.
Linh Anh NguyenPublished in: Fundam. Informaticae (2016)
Keyphrases
- description logics
- rule language
- owl dl
- modal operators
- modal logic
- computational properties
- tableau calculus
- owl ontologies
- production rules
- reasoning problems
- decision procedures
- knowledge representation
- model theoretic
- knowledge base
- reasoning systems
- ontology languages
- reasoning tasks
- business rules
- automated reasoning
- dl lite
- natural language
- semantic web
- logic programming
- domain ontology
- np complete
- knowledge acquisition
- knowledge based systems
- query language
- artificial intelligence