Skip to search formSkip to main contentSkip to account menu

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.
View via Publisher (opens in a new tab)

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.

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 all…
View via Publisher (opens in a new tab)

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.

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.
View via Publisher (opens in a new tab)

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 interchange…

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.
View on Springer (opens in a new tab)

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.
View on ACM (opens in a new tab)

OWL Web Ontology Language Reference-W3C Recommen-dation

The description logic handbook: theory

...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)