v1v2 (latest)

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

4 February 2012

Papers citing "Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog"

2 / 2 papers shown

Title
Hypertableau Reasoning for Description Logics B. Motik Rob Shearer Ian Horrocks LRM 54 457 0 15 Jan 2014
Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm Ian Horrocks C. Lutz U. Sattler 69 299 0 31 Oct 2011