Reasoning with the Core Chase: the Case of SHACL Validation over ELHI Knowledge Bases.
Anouk OudshoornMagdalena OrtizMantas SimkusPublished in: Description Logics (2024)
Keyphrases
- knowledge base
- knowledge representation systems
- reasoning process
- knowledge representation
- description logics
- reasoning systems
- knowledge acquisition
- abductive logic programming
- legal cases
- production rules
- computing least common subsumers
- artificial intelligence
- inference engine
- knowledge sources
- query answering
- functional dependencies
- data exchange
- expert systems