Search papers, labs, and topics across Lattice.
1
0
2
Stream reasoning just got more robust: new semantics and algorithms enable incremental, inconsistency-resilient reasoning over Description Logic ABox streams.
