Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes (Q2055866): Difference between revisions

@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
+Normal rank
@@ Property / cites work @@
+Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
+Normal rank
@@ Property / cites work @@
+HermiT: an OWL 2 reasoner
@@ Property / cites work: HermiT: an OWL 2 reasoner / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Linked Data Anonymisation
@@ Property / cites work: Logical Foundations of Linked Data Anonymisation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing containment of conjunctive queries under functional and inclusion dependencies
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Non-standard inferences in description logics
@@ Property / cites work: Non-standard inferences in description logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+The OWL reasoner evaluation (ORE) 2015 competition report
+Normal rank
@@ Property / cites work @@
+Debugging incoherent terminologies
@@ Property / cites work: Debugging incoherent terminologies / rank @@
+Normal rank