Query Answering with DBoxes is Hard

Data in description logic knowledge bases is stored in the form of an ABox. ABoxes are often confusing for developers coming from relational databases because an ABox, in contrast to a database instance, provides an incomplete specification. A recently introduced assertional component of a description logic knowledge base is a DBox, which behaves more like a database instance. In this paper, we study the data complexity of query answering in the description logic DL-Lite"F extended with DBoxes. DL-Lite"F is a description logic tailored for data intensive applications and the data complexity of query answering in DL-Lite"F with ABoxes is tractable (in AC^0). Our main result is that this problem becomes coNP-complete with DBoxes. In some expressive description logics, query answering with DBoxes also leads to a higher (combined) complexity than query answering with ABoxes. As a proof of concept, we relate query answering in ALCFIO, i.e., ALC with Functional and Inverse roles, and nOminals to the same problem in ALCFI with DBoxes. The exact complexity of the former is an open problem in the description logic literature. Here we show that query answering in ALCFIO and ALCFI with DBoxes are mutually reducible to each other in polynomial time. All the proofs in this paper are available in the appendix for the [email protected]? convenience

Etmen iletişimi için anlamsal web uyumlu bir içerik dili tasarımı

W3C'nin OWL dili yazılım etmenleriyle ilgilenen bilim topluluğunda geniş bir kabul görmüş ve daha şimdiden birçok uygulamada dizimbilimsel olarak kullanılmıştır. Bu tez kapsamında, etmen iletişiminin anlambilimine daha iyi uymak için, OWL dilinin betimleme mantığı altyapısından yararlanarak inanç ve niyet kiplikleriyle donatılmış bir betimleme mantığı tanımlanmıştır. Bu mantık için sağlam ve tam bir karar verme algoritmasıyla diğer usavurma hizmetleri geliştirilmiştir. Son olarak, tasarlanan dilin bir çok-etmenli sistem geliştirme çerçevesinde nasıl kullanılacağı tartışılmıştır

Etmen iletişimi için anlamsal web uyumlu bir içerik dili tasarımı

W3C'nin OWL dili yazılım etmenleriyle ilgilenen bilim topluluğunda geniş bir kabul görmüş ve daha şimdiden birçok uygulamada dizimbilimsel olarak kullanılmıştır. Bu tez kapsamında, etmen iletişiminin anlambilimine daha iyi uymak için, OWL dilinin betimleme mantığı altyapısından yararlanarak inanç ve niyet kiplikleriyle donatılmış bir betimleme mantığı tanımlanmıştır. Bu mantık için sağlam ve tam bir karar verme algoritmasıyla diğer usavurma hizmetleri geliştirilmiştir. Son olarak, tasarlanan dilin bir çok-etmenli sistem geliştirme çerçevesinde nasıl kullanılacağı tartışılmıştır

An Extended Description Logics Approach to Agent Communication Language Semantics

The recent efforts by agent developers try to integrate the standard ontology languages of the Semantic Web into their agents towards better interoperability. Similarly, the field of ACL semantics helps to build more flexible agents that can "understand " the acts exchanged. To better integrate such an ontology language with agent communication semantics, this paper proposes a hybrid description logic language with modal extensions for belief and intention. It then describes a practical approach to put the theory into practice

I.: An extended description logics approach to agent communication language semantics

Abstract. The recent efforts by agent developers try to integrate the standard ontology languages of the Semantic Web into their agents towards better interoperability. Similarly, the field of ACL semantics helps to build more flexible agents that can “understand ” the acts exchanged. To better integrate such an ontology language with agent communication semantics, this paper proposes a hybrid description logic language with modal extensions for belief and intention. It then describes a practical approach to put the theory into practice.

A Framework of Cooperative Agents with Implicit Support for Ontologies

Abstract. W3C’s OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage of OWL’s description logic foundation, this paper defines a hybrid description logic language which facilitates the use of ontologies as first class entities in agent communication. Using this language, we axiomatize cooperative agent behavior. Then we suggest an operational model to implement this behavior. As a case study, we present an application from software package management domain that tests the model’s usability.