Foundations of instance level updates in expressive description logics (Q420809): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2011.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2136844873
@@ Property / OpenAlex ID: W2136844873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+The size of a revised knowledge base
@@ Property / cites work: The size of a revised knowledge base / rank @@
+Normal rank
@@ Property / cites work @@
+On Instance-level Update and Erasure in Description Logic Ontologies
+Normal rank
@@ Property / cites work @@
+Putting ABox Updates into Action
@@ Property / cites work: Putting ABox Updates into Action / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+On the relative expressiveness of description logics and predicate logics
+Normal rank
@@ Property / cites work @@
+Q4783312
@@ Property / cites work: Q4783312 / rank @@
+Normal rank
@@ Property / cites work @@
+A description logic based situation calculus
@@ Property / cites work: A description logic based situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954172
@@ Property / cites work: Q4954172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750466
@@ Property / cites work: Q5750466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530473
@@ Property / cites work: Q4530473 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Actions Using Description Logics with General TBoxes
+Normal rank
@@ Property / cites work @@
+Q5688793
@@ Property / cites work: Q5688793 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Base Revision in Description Logics
@@ Property / cites work: Knowledge Base Revision in Description Logics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:420809