Tractable approximate deduction for OWL (Q274420): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6572788
@@ Property / zbMATH DE Number: 6572788 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ontology
@@ Property / zbMATH Keywords: ontology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+approximation
@@ Property / zbMATH Keywords: approximation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+OWL 2
@@ Property / zbMATH Keywords: OWL 2 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+approximate reasoning
@@ Property / zbMATH Keywords: approximate reasoning / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLog
@@ Property / describes a project that uses: DLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TrOWL
@@ Property / describes a project that uses: TrOWL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2273684054
@@ Property / OpenAlex ID: W2273684054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198897
@@ Property / cites work: Q3198897 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of entailment in propositional multivalued logics
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in description logics
+Normal rank
@@ Property / cites work @@
+$\mathcal{EL}$ -ifying Ontologies
@@ Property / cites work: $\mathcal{EL}$ -ifying Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Artificial Intelligence – SBIA 2004
@@ Property / cites work: Advances in Artificial Intelligence – SBIA 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
+Normal rank
@@ Property / cites work @@
+Q4437965
@@ Property / cites work: Q4437965 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of SHIQ with complex role inclusion axioms
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Q2723446
@@ Property / cites work: Q2723446 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient description logic reasoning in Prolog: The DLog system
+Normal rank
@@ Property / cites work @@
+A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A four-valued semantics for terminological logics
@@ Property / cites work: A four-valued semantics for terminological logics / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning via approximation
@@ Property / cites work: Tractable reasoning via approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing terminological reasoning for expressive description logics
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:274420