• Publications
  • Influence
The Description Logic Handbook: Theory, Implementation, and Applications
This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Expand
OWL Web ontology language overview
This document provides an introduction to OWL by informally describing the features of each of the sublanguages of OWL, the Web Ontology Language by providing additional vocabulary along with a formal semantics. Expand
The Description Logic Handbook
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying allExpand
Owl web ontology language guide
This document demonstrates the use of the OWL language to formalize a domain by defining classes and properties of those classes, define individuals and assert properties about them, and reason about these classes and individuals to the degree permitted by the formal semantics of theOWL language. Expand
Bringing Semantics to Web Services: The OWL-S Approach
This paper shows how to use OWL-S in conjunction with Web service standards, and explains and illustrates the value added by the semantics expressed in OWl-S. Expand
PROV-O: The PROV Ontology
The PROV Ontology (PROV-O) expresses the PROV Data Model using the OWL2 Web Ontology Language. It provides a set of classes, properties, and restrictions that can be used to represent and interchangeExpand
Bringing Semantics to Web Services with OWL-S
OWL-S can be used to automate a variety of service-related activities involving service discovery, interoperation, and composition, and has led to the creation of many open-source tools for developing, reasoning about, and dynamically utilizing Web Services. Expand
CLASSIC: a structural data model for objects
The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable. Expand