Tbox

Results: 70



#Item
1Proc. 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,

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
    2Proc. 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

    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
      3Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

      Soundness Preserving Approximation for TBox Reasoning in R Ren Yuan, Jeff Z. Pan and Yuting Zhao Dept. of Computing Science, University of Aberdeen King’s College, Aberdeen AB24 3FX, UK

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2009-07-07 04:46:34
        4Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3

        Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3

        Add to Reading List

        Source URL: exmo.inria.fr

        Language: English - Date: 2008-11-27 08:56:04
        5Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ

        Computed Knowledge Base for Description of Information Resources of Water Spectroscopy Alexander Fazliev1, Alexey Privezentsev1, Dmitry Tsarkov2, and Jonathan Tennyson3 1 Institute of Atmospheric Optics SB RAS, Zuev Squ

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2015-02-05 09:51:08
        6Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics

        Chapter 6 AN OWL-DL IMPLEMENTATION OF GOLD An Ontology for the Semantic Web Scott Farrar∗ and D. Terence Langendoen∗∗ ∗ Department of Linguistics

        Add to Reading List

        Source URL: dingo.sbs.arizona.edu

        Language: English - Date: 2009-06-06 20:15:54
        7Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1

        Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2015-02-05 09:51:05
        8Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

        Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

        Add to Reading List

        Source URL: www.hermit-reasoner.com

        Language: English - Date: 2012-02-03 12:06:02
        9Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡

        Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡

        Add to Reading List

        Source URL: www.hermit-reasoner.com

        Language: English - Date: 2012-02-03 12:06:02
        10Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract

        Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2015-02-05 09:51:10