The following pages link to Xiaowang Zhang (Q1680690):
Displaying 8 items.
- A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite (Q1680691) (← links)
- Inconsistency-tolerant reasoning with OWL DL (Q2353974) (← links)
- On the primitivity of operators in SPARQL (Q2448857) (← links)
- On the Satisfiability Problem for SPARQL Patterns (Q2818228) (← links)
- Tableau-based Forgetting in ALC Ontologies (Q2999104) (← links)
- On the Satisfiability of Quasi-Classical Description Logics (Q4557349) (← links)
- (Q4610087) (← links)
- (Q5389346) (← links)