共 16 条
[1]
Rewriting Approaches for Ontology-Mediated Query Answering
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:523-526
[2]
Semantic Technologies for Situation Awareness Report on a Project Within the CRC "Highly Adaptive Energy-Efficient Computing"
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:543-550
[3]
A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:443-451
[5]
Reasoner = Logical Calculus plus Rule Engine
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:453-463
[6]
All-Instances Restricted Chase Termination for Linear TGDs
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:465-473
[7]
NoHR: An Overview Reasoning with Ontologies and Nonmonotonic Rules
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:509-515
[8]
Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:475-489
[9]
Error-Tolerance and Error Management in Lightweight Description Logics
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:491-500
[10]
A Lightweight Defeasible Description Logic in Depth Quantification in Rational Reasoning and Beyond
[J].
KUNSTLICHE INTELLIGENZ,
2020, 34 (04)
:527-531