Finding good proofs for description logic entailments using recursive quality measures (Q2055864): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3177831581
@@ Property / OpenAlex ID: W3177831581 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding good proofs for description logic entailments using recursive quality measures
+Normal rank
@@ Property / cites work @@
+An Introduction to Description Logic
@@ Property / cites work: An Introduction to Description Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Directed hypergraphs and applications
@@ Property / cites work: Directed hypergraphs and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Reconstructing proofs at the assertion level
@@ Property / cites work: Reconstructing proofs at the assertion level / rank @@
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Q3490999
@@ Property / cites work: Q3490999 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2055864