(Non-)succinctness of uniform interpolants of general terminologies in the description logic $\mathcal{EL}$ (Q2510119): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2014.06.005
@@ Property / DOI: 10.1016/j.artint.2014.06.005 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RacerPro
@@ Property / describes a project that uses: RacerPro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Racer
@@ Property / describes a project that uses: Racer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HermiT
@@ Property / describes a project that uses: HermiT / 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.artint.2014.06.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2071066814
@@ Property / OpenAlex ID: W2071066814 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q54824452
@@ Property / Wikidata QID: Q54824452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3455591
@@ Property / cites work: Q3455591 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+Deciding inseparability and conservative extensions in the description logic
+Normal rank
@@ Property / cites work @@
+Tableau-based Forgetting in ALC Ontologies
@@ Property / cites work: Tableau-based Forgetting in ALC Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting Modules from Ontologies: A Logic-Based Approach
+Normal rank
@@ Property / cites work @@
+Formal Properties of Modularisation
@@ Property / cites work: Formal Properties of Modularisation / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/ai/NikitinaR14
@@ Property / DBLP publication ID: journals/ai/NikitinaR14 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2014.06.005
@@ Property / DOI: 10.1016/J.ARTINT.2014.06.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2510119

(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119): Difference between revisions

Latest revision as of 03:09, 19 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)