38
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Mechanizing Mathematical Reasoning 

      Description Logics as Ontology Languages for the Semantic Web

      other
      , ,
      Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references35

          • Record: found
          • Abstract: not found
          • Article: not found

          Formal ontology, conceptual analysis and knowledge representation

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Attributive concept descriptions with complements

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              An Overview of the KL-ONE Knowledge Representation System*

                Bookmark

                Author and book information

                Book Chapter
                2005
                : 228-248
                10.1007/978-3-540-32254-2_14
                a6b4e4ca-a1d9-41c8-af9d-57f1813a670e
                History

                Comments

                Comment on this book