Waterloo

Results: 3962



#Item
121

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, TBox Classification in Parallel: Design and First Evaluation Mina Aslani and Volker Haarslev Concordia University, Montreal,

Add to Reading List

Source URL: ceur-ws.org

- Date: 2010-04-20 14:40:19
    122

    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Supporting the Development of Data Wrapping Ontologies (Extended Abstract)⋆ Lina Lubyte and Sergio Tessaris KRDB Research C

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2010-04-20 14:40:19
      123

      Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results Jocelyne Faddoul and Volker Haarslev Concordia Un

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2010-04-20 14:40:19
        124

        Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Second-Order Description Logics: Semantics, Motivation, and a Calculus Simona Colucci1 , Tommaso Di Noia1 , Eugenio Di Sciasc

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2010-04-20 14:40:19
          125

          Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Structure Preserving TBox Repair Using Defaults Thomas Scharrenbach1 , Rolf Gr¨ utter1 , Bettina Waldvogel1 , and Abraham

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2010-06-04 12:22:44
            126

            Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Guiding Reification in OWL through Aggregation Paula Severi1 , Jos´e Fiadeiro1 , and David Ekserdjian2 1

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2010-04-20 14:40:19
              127

              Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimal Rewritings in Definitorially Complete Description Logics⋆ ˙Inanc¸ Seylan, Enrico Franconi, and Jos de Bruijn Free

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2010-04-20 14:40:19
                128

                Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and Myr

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2010-04-20 14:40:19
                  129

                  Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Automata-Based Abduction for Tractable Diagnosis Thomas M. Hubauer1,2 , Steffen Lamparter2 , and Michael Pirker2 1

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2010-04-20 14:40:19
                    130

                    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Logic for Modeling Product Structure Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2010-04-20 14:40:19
                      UPDATE