Horrocks

Results: 147



#Item
51

Just the Right Amount: Extracting Modules from Ontologiesāˆ— Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK

Add to Reading List

Source URL: staff.cs.manchester.ac.uk

Language: English - Date: 2007-02-14 07:27:58
    52

    Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web Ian Horrocks Peter F. Patel-Schneider

    Add to Reading List

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

    Language: English - Date: 2003-06-18 11:54:46
      53

      DAML+OIL and Description Logic Reasoning Ian Horrocks University of Manchester Manchester, UK

      Add to Reading List

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

      Language: English - Date: 2001-10-17 05:14:05
        54

        Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks University of Manchester

        Add to Reading List

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

        Language: English - Date: 2001-07-31 21:29:14
          55

          Description Logic: Axioms and Rules Ian Horrocks University of Manchester Manchester, UK

          Add to Reading List

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

          Language: English - Date: 2002-02-07 09:34:24
            56

            Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK {pan,horrocks}@cs.man.ac.uk The Semantic Web is a vision of the next generat

            Add to Reading List

            Source URL: iswc2002.semanticweb.org

            Language: English - Date: 2002-05-05 05:36:24
              57

              Reasoning with DAML+OIL: What can it do for YOU? Ian Horrocks University of Manchester

              Add to Reading List

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

              Language: English
                58

                Description Logic: A Formal Foundation for Ontology Languages and Tools Part 2: Tools Ian Horrocks

                Add to Reading List

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

                Language: English - Date: 2010-06-22 16:10:58
                  59

                  Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK

                  Add to Reading List

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

                  Language: English - Date: 2007-08-21 16:02:14
                    60

                    The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

                    Add to Reading List

                    Source URL: staff.cs.manchester.ac.uk

                    Language: English - Date: 2006-04-12 13:19:58
                      UPDATE