Abstract Description logics are a family of knowledge representation formalisms that are
descended from semantic networks and frames via the system Kl-one. During the last …

Research on artificial intelligence in the last two decades has greatly improved performance
of both manufacturing and service systems. Currently, there is a dire need for an article that …

Description Logics are a family of knowledge representation languages that have been
studied extensively in Artificial Intelligence over the last two decades. They are embodied in …

One hundred and five generic types of Pleosporales are described and illustrated. A brief
introduction and detailed history with short notes on morphology, molecular phylogeny as …

The recently introduced series of description logics under the common monikerDL-Lite'has
attracted attention of the description logic and semantic web communities due to the low …

UML is the de-facto standard formalism for software design and analysis. To support the
design of large-scale industrial applications, sophisticated CASE tools are available on the …

Due to the availability on the Internet of a wide variety of sources of information on related
topics, the problem of providing seamless, integrated access to such sources has become …

Relational databases are considered one of the most popular storage solutions for various
kinds of data and they have been recognized as a key factor in generating huge amounts of …

Ontologies provide a conceptualization of a domain of interest. Nowadays, they are typically
represented in terms of Description Logics (DLs), and are seen as the key technology used …

Abstract Description logics (DLs) are knowledge representation formalisms with well-
understood model-theoretic semantics and computational properties. The DL SHIQ (D) …