Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6246046
@@ Property / zbMATH DE Number: 6246046 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ontologies
@@ Property / zbMATH Keywords: ontologies / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\mathcal{ALC}\)
@@ Property / zbMATH Keywords: \(\mathcal{ALC}\) / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Post's lattice
@@ Property / zbMATH Keywords: Post's lattice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+description logic
@@ Property / zbMATH Keywords: description logic / rank @@
+Normal rank
@@ 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.tcs.2013.02.009
+Normal rank
@@ Property / OpenAlex ID @@
+W1724963320
@@ Property / OpenAlex ID: W1724963320 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57998296
@@ Property / Wikidata QID: Q57998296 / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Using automata theory for characterizing the semantics of terminological cycles
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+The complexity of propositional implication
@@ Property / cites work: The complexity of propositional implication / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+The complexity of existential quantification in concept languages.
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Tarskian set constraints
@@ Property / cites work: Tarskian set constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized modal satisfiability
@@ Property / cites work: Generalized modal satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability for fragments of hybrid logic. I.
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:393137