Incremental classification of description logics ontologies (Q972428): Difference between revisions

@@ Property / cites work @@
+Extracting Modules from Ontologies: A Logic-Based Approach
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonrecursive incremental evaluation of Datalog queries
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding expressive description logics in the framework of resolution
+Normal rank
@@ Property / cites work @@
+Quantitative temporal logics over the reals: PSpace and below
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Optimized Reasoning in Description Logics Using Hypertableaux
+Normal rank
@@ Property / cites work @@
+Debugging incoherent terminologies
@@ Property / cites work: Debugging incoherent terminologies / rank @@
+Normal rank