×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [assertion ca]
L ogics for D ata and K nowledge R epresentation
24 views
LDK R Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox 1
219 views
L ogics for D ata and K nowledge R epresentation
20 views