Title | ||
---|---|---|
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. |
Year | Field | DocType |
---|---|---|
2019 | Conjunctive query,Computer science,Satisfiability,Description logic,Cardinality,Theoretical computer science | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franz Baader | 1 | 8123 | 646.64 |
Bartosz Bednarczyk | 2 | 0 | 7.44 |
Sebastian Rudolph | 3 | 548 | 39.60 |