Notes
  • business
    • coding
      • concepts
        • design
          • drawings
            • obsidian
              • resources
                • stuff
                  • university
                    • Notes
                    • Working Note
                    Navigation

                    Tags

                    • All tags
                    • #Algorithmus(48)
                    • #Algorithmus, codesnippet, code, js, Python(1)
                    • #E(1)
                    • #Gemischt-ganzzahlige(1)
                    • #MOC(8)
                    • #P-hard(1)
                    • #bachelor(1)
                    • #code(1)
                    • #codesnippet, code, js, programmingassignment(5)
                    • #codesnippet, code, programmingassignment, js(1)
                    • #confirm(1)
                    • #data(1)
                    • #datascience(1)
                    • #excalidraw(14)
                    • #infovislearn(2)
                    • #keep(2)
                    • #lnsexam(1)
                    • #note(2)
                    • #note, datascience, keep(1)
                    • #paper(1)
                    • #programmingassignment(4)
                    • #question(4)
                    • #todo(21)
                    • #uebung(1)

                    On this page

                    1. university /
                    2. Logic /
                    3. Logical System /
                    4. Description Logic

                    Description Logic

                    9 items

                    • ALC
                    • ALC Tableau Calculus
                    • Assertion
                    • Bottom Concept
                    • Concept
                    • Concept Definition
                    • Negation Normal Form
                    • Top Concept
                    • Translation into First-Order Predicate Logic