A logical and ontological framework for compositional concepts of objects and properties (Q264963): Difference between revisions

@@ Property / DOI @@
-.1007/s00354-015-0203-9
@@ Property / DOI: 10.1007/s00354-015-0203-9 / rank @@
-Normal rank
@@ 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 @@
+6561845
@@ Property / zbMATH DE Number: 6561845 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional concepts
@@ Property / zbMATH Keywords: compositional concepts / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+upper ontology
@@ Property / zbMATH Keywords: upper ontology / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+object and property
@@ Property / zbMATH Keywords: object and property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monadic second-order logic
@@ Property / zbMATH Keywords: monadic second-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resource description framework (RDF)
@@ Property / zbMATH Keywords: resource description framework (RDF) / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00354-015-0203-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1981209246
@@ Property / OpenAlex ID: W1981209246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485446
@@ Property / cites work: Q4485446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367587
@@ Property / cites work: Q4367587 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted logic programming with predicate hierarchy
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Q4693763
@@ Property / cites work: Q4693763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411900
@@ Property / cites work: Q4411900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982403
@@ Property / cites work: Q4982403 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Properties of Metamodeling in OWL
@@ Property / cites work: On the Properties of Metamodeling in OWL / rank @@
+Normal rank
@@ Property / cites work @@
+Calendar Logic
@@ Property / cites work: Calendar Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The characterization of monadic logic
@@ Property / cites work: The characterization of monadic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Supporting ontological analysis of taxonomic relationships
+Normal rank
@@ Property / DOI @@
+.1007/S00354-015-0203-9
@@ Property / DOI: 10.1007/S00354-015-0203-9 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:264963