6 citations · 13 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 4 cited
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…
cs.LO2013★ 2 cited
Temporal Description Logic for Ontology-Based Data Access (Extended Version)
Alessandro Artale, Roman Kontchakov, Frank Wolter +1
Our aim is to investigate ontology-based data access over temporal data with validity time and ontologies capable of temporal conceptual modelling. To this end, we design a tempora…