Lite

Results: 2283



#Item
101

Ontologies and Databases: The DL-Lite Approach Diego Calvanese1 , Giuseppe De Giacomo2 , Domenico Lembo2 , Maurizio Lenzerini2 , Antonella Poggi2 , Mariano Rodriguez-Muro1, and Riccardo Rosati2 1

Add to Reading List

Source URL: www.dis.uniroma1.it

- Date: 2010-04-29 06:15:00
    102

    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Temporal Conceptual Modelling with DL-Lite A. Artale,1 R. Kontchakov,2 V. Ryzhikov,1 and M. Zakharyaschev2 2

    Add to Reading List

    Source URL: ceur-ws.org

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

      Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Complexity of Axiom Pinpointing in the DL-Lite Family Rafael Pe˜ naloza1 and Barı¸s Sertkaya2

      Add to Reading List

      Source URL: ceur-ws.org

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

        Combined FO Rewritability for Conjunctive Query Answering in DL-Lite R. Kontchakov,1 C. Lutz,2 D. Toman,3 F. Wolter4 and M. Zakharyaschev1 1 School of CS and Information Systems 2 Fachbereich Mathematik und Informatik

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2009-07-07 04:46:34
          105

          On the evolution of the instance level of DL-Lite knowledge bases Maurizio Lenzerini, Domenico Fabio Savo Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit` a di Roma

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2011-06-26 10:20:59
            106

            Microsoft Word - Gamma-Lite_L0309_en.doc

            Add to Reading List

            Source URL: www.svpribor.ru

            - Date: 2016-12-12 02:59:33
              107

              Journal of Artificial Intelligence Research–69 Submitted 04/09; publishedThe DL-Lite Family and Relations Alessandro Artale

              Add to Reading List

              Source URL: www.jair.org

              - Date: 2009-10-15 12:36:10
                108

                CVC4 1.5 for Sygus Comp 2015 • CVC4 is an SMT solver • Fourth generation of Cooperating Validity Checker (CVC, CVC Lite, CVC3, CVC4) • Supports many ground theories: • Linear arithmetic, bitvectors, UF, datatypes

                Add to Reading List

                Source URL: formal.epfl.ch

                - Date: 2015-07-21 12:55:02
                  109

                  ■ WinROOF2015 standard / Lite / WinROOF version7.4 機能比較表 機能 WinROOF2015 standard WinROOF2015 Lite

                  Add to Reading List

                  Source URL: www.mitani-visual.jp

                  - Date: 2016-04-06 22:36:46
                    110

                    Brochure Empower the data-driven organization Analyze your Big Data readiness with HPE Big Data LITE Capabilities Analysis service

                    Add to Reading List

                    Source URL: businessvalueexchange.com

                    - Date: 2016-12-01 06:18:19
                      UPDATE