The following pages link to WebPIE (Q24410):
Displayed 7 items.
- Modular materialisation of Datalog programs (Q2144176) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- Scaling-up reasoning and advanced analytics on BigData (Q4559832) (← links)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages (Q4647815) (← links)
- Rethinking Defeasible Reasoning: A Scalable Approach (Q4957204) (← links)
- Scalable Reasoning by Abstraction Beyond DL-Lite (Q5268436) (← links)