Ian Horrocks

From GM-RKB
(Redirected from I. Horrocks)
Jump to navigation Jump to search

Ian Horrocks is a person.



References

2014

2011

2009

2004

2004

  • (Bechhofer et al., 2004) ⇒ Sean Bechhofer, Frank van Harmelen, Jim Hendler, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lynn Andrea Stein. (2004). “OWL Web Ontology Language Reference." W3C Recommendation, 10 February 2004.
    • ABSTRACT: The Web Ontology Language OWL is a semantic markup language for publishing and sharing ontologies on the World Wide Web. OWL is developed as a vocabulary extension of RDF (the Resource Description Framework) and is derived from the DAML+OIL Web Ontology Language. This document contains a structured informal description of the full set of OWL language constructs and is meant to serve as a reference for OWL users who want to construct OWL ontologies.

2003

1999

  • (Horrocks et al., 1999) ⇒ Ian Horrocks, Ulrike Sattler, and Stephan Tobies. (1999). “Practical Reasoning for Expressive Description Logics.” In: Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning (LPAR 1999).
    • ABSTRACT: Description Logics (DLs) axe a family of knowledge representation formetlisms mainly chauracterised by constructors to build complex concepts and iroles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satisfiability of the DL ACC extended with transitive eind inverse roles, role hierarchies, and quaJifying number restrictions. Early experiments indicate that this algorithm is well-suited for implementation. Additionally, we show that ACC extended with just transitive and inverse roles is still in PSPACE. Finally, we investigate the limits of decidability for this family of DLs.
    • CITED BY ~527 http://scholar.google.com/scholar?q=%22Practical+reasoning+for+expressive+description+logics%22+1999

1997