A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,×

2020 ◽  
Vol 176 (3-4) ◽  
pp. 349-384
Author(s):  
Domenico Cantone ◽  
Marianna Nicolosi-Asmundo ◽  
Daniele Francesco Santamaria
Keyword(s):  
Description Logic ◽  
Description Logics ◽  
Theoretic Approach ◽  
The Novel ◽  
Data Types ◽  
Left Hand ◽  
Rule Languages ◽  
Tableau System ◽  
High Scalability ◽  
Better Than

In this paper we consider the most common TBox and ABox reasoning services for the description logic 𝒟ℒ〈4LQSR,x〉(D) ( 𝒟 ℒ D 4,× , for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment 4LQSR. 𝒟 ℒ D 4,× is a very expressive description logic. It combines the high scalability and efficiency of rule languages such as the SemanticWeb Rule Language (SWRL) with the expressivity of description logics. In fact, among other features, it supports Boolean operations on concepts and roles, role constructs such as the product of concepts and role chains on the left-hand side of inclusion axioms, role properties such as transitivity, symmetry, reflexivity, and irreflexivity, and data types. We further provide a KE-tableau-based procedure that allows one to reason on the main TBox and ABox reasoning tasks for the description logic 𝒟 ℒ D 4,× . Our algorithm is based on a variant of the KE-tableau system for sets of universally quantified clauses, where the KE-elimination rule is generalized in such a way as to incorporate the γ-rule. The novel system, called KEγ-tableau, turns out to be an improvement of the system introduced in [1] and of standard first-order KE-tableaux [2]. Suitable benchmark test sets executed on C++ implementations of the three mentioned systems show that in several cases the performances of the KEγ-tableau-based reasoner are up to about 400% better than the ones of the other two systems.

Logics for the Semantic Web

2011 ◽  
pp. 24-43
Author(s):  
J. Bruijn
Keyword(s):  
Semantic Web ◽  
Logic Programming ◽  
Description Logic ◽  
Description Logics ◽  
Order Logic ◽  
First Order Logic ◽  
Horn Logic ◽  
First Order ◽  
Logical Language ◽  
Rule Languages

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical first-order logic. Description logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset of first-order logic, namely Horn logic, but uses a slightly different semantics and can be extended with non-monotonic negation. Many Semantic Web reasoners are based on logic programming principles and rule languages for the Semantic Web based on logic programming are an ongoing discussion. Frame Logic allows object-oriented style (frame-based) modeling in a logical language. RuleML is an XML-based syntax consisting of different sublanguages for the exchange of specifications in different logical languages over the Web.

scholarly journals Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability

2009 ◽  
Vol 35 ◽  
pp. 343-389 ◽  
Author(s):  
R. Sebastiani ◽  
M. Vescovi
Keyword(s):  
Automated Reasoning ◽  
Description Logic ◽  
State Of The Art ◽  
Description Logics ◽  
Worst Case ◽  
Current State ◽  
Database Theory ◽  
Sat Encoding ◽  
Better Than

In the last two decades, modal and description logics have been applied to numerous areas of computer science, including knowledge representation, formal verification, database theory, distributed computing and, more recently, semantic web and ontologies. For this reason, the problem of automated reasoning in modal and description logics has been thoroughly investigated. In particular, many approaches have been proposed for efficiently handling the satisfiability of the core normal modal logic K(m), and of its notational variant, the description logic ALC. Although simple in structure, K(m)/ALC is computationally very hard to reason on, its satisfiability being PSPACE-complete. In this paper we start exploring the idea of performing automated reasoning tasks in modal and description logics by encoding them into SAT, so that to be handled by state-of-the-art SAT tools; as with most previous approaches, we begin our investigation from the satisfiability in K(m). We propose an efficient encoding, and we test it on an extensive set of benchmarks, comparing the approach with the main state-of-the-art tools available. Although the encoding is necessarily worst-case exponential, from our experiments we notice that, in practice, this approach can handle most or all the problems which are at the reach of the other approaches, with performances which are comparable with, or even better than, those of the current state-of-the-art tools.

scholarly journals Design of a Novel Six-Axis Wrist Force Sensor

Sensors ◽  
2018 ◽  
Vol 18 (9) ◽  
pp. 3120 ◽  
Author(s):  
Shanshan Hu ◽  
Huaiyang Wang ◽  
Yong Wang ◽  
Zhengshi Liu
Keyword(s):  
Simulation Analysis ◽  
Dynamic Performance ◽  
Force Sensor ◽  
The Novel ◽  
Element Analysis ◽  
Body Design ◽  
Design Idea ◽  
Bridge Circuits ◽  
Design Ideas ◽  
Better Than

A novel elastic body design idea of six-axis wrist force sensor with a floating beam was raised based on the analysis of the robot six-axis wrist force sensor with a floating beam. The design ideas improve the sensor’s dynamic performance significantly, while not reducing its sensitivity. First, the design ideas were described in detail, which were analyzed by mechanical modeling and were verified by finite element analysis. Second, the static simulation analysis of the novel elastomer of sensor was carried out. According to the strain distribution performance, the position of the strain gauges pasted and the connection mode of the full-bridge circuits were decided, which can achieve theoretical decoupling. Finally, the comparison between the static and dynamic performance of the novel sensor and the original sensor with floating beams was done. The results show that the static and dynamic performance of the novel six-axis wrist sensor are all better than the original sensor.

scholarly journals Capability-oriented architectural analysis method based on fuzzy description logic

2016 ◽  
Vol 13 (1) ◽  
pp. 287-308 ◽  
Author(s):  
Zhang Tingting ◽  
Liu Xiaoming ◽  
Wang Zhixue ◽  
Dong Qingchao
Keyword(s):  
Business Strategy ◽  
Domain Knowledge ◽  
Description Logic ◽  
Description Logics ◽  
Model Verification ◽  
Architectural Analysis ◽  
Requirements Modeling ◽  
Strategy Model ◽  
Domain Specific Modeling ◽  
Fuzzy Description

A number of problems may arise from architectural requirements modeling, including alignment of it with business strategy, model integration and handling the uncertain and vague information. The paper introduces a method for modeling architectural requirements in a way of ontology-based and capability-oriented requirements elicitation. The requirements can be modeled within a three-layer framework. The Capability Meta-concept Framework is provided at the top level. The domain experts can capture the domain knowledge within the framework, forming the domain ontology at the second level. The domain concepts can be used for extending the UML to produce a domain-specific modeling language. A fuzzy UML is introduced to model the vague and uncertain features of the capability requirements. An algorithm is provided to transform the fuzzy UML models into the fuzzy Description Logics ontology for model verification. A case study is given to demonstrate the applicability of the method.

scholarly journals The Upsurge and Impact of COVID 19 in India: Health Issues and Remedial Measures

2021 ◽  
pp. 28-34
Author(s):  
Kanchi Isswani
Keyword(s):  
Sudden Increase ◽  
The Novel ◽  
Health Issues ◽  
Public Places ◽  
Frontline Workers ◽  
Time Period ◽  
Essential Services ◽  
Novel Coronavirus ◽  
Major Decision ◽  
Better Than

The novel Coronavirus was something that nobody was prepared for. It was that part of the syllabus which was always neglected. The contagious disease which started in the Wuhan region of China had started to settle in various parts of the World. The outbreak of this disease has reached such a huge number that all the countries witnessed lockdown in some form or the other. Some people have witnessed destruction of mankind while some have even leisured this time to their fullest but as it has been always said “Prevention is better than cure”. Prevention of covid 19 in all the nations was one of the major steps which was taken in the year 2020. In India it all started in the year of 2019 December when the first ever case of covid 19 was reported in the state of Kerala followed by Rajasthan, Maharashtra and Delhi. Following such a situation and then sudden increase in the no of cases all over the country a major decision was taken that was of Complete lockdown excluding the emergency and essential services. Before taking the step of lockdown, as a gesture of respect to the frontline workers, government of India announced Tali Bajao movement. In the period of lockdown Certain norms were even made mandatory that were wearing a mask, maintenance of hand sanitation and following social distancing of 1.5 meters in public places. All the educational institutes and teachings were even suspended during the time period of lockdown as it could have become a hub for the virus to spread. With time, the restrictions which were laid down in lockdown were started to be reduced in the phase wise manner and finally India noticed its very first Unlock period. In all this scenario mankind has dealt with various situations and have emerged to be a better person. All these steps were crucial to control the spread of Novel Coronavirus and prevention from the already spread cases.

scholarly journals Unifying Class-Based Representation Formalisms

1999 ◽  
Vol 11 ◽  
pp. 199-240 ◽  
Author(s):  
D. Calvanese ◽  
M. Lenzerini ◽  
D. Nardi
Keyword(s):  
Knowledge Representation ◽  
Description Logic ◽  
Description Logics ◽  
Expressive Power ◽  
Finite Model ◽  
Functional Dependencies ◽  
Semantic Data ◽  
Representation Systems ◽  
Frame Systems ◽  
Essential Set

The notion of class is ubiquitous in computer science and is central in many formalisms for the representation of structured knowledge used both in knowledge representation and in databases. In this paper we study the basic issues underlying such representation formalisms and single out both their common characteristics and their distinguishing features. Such investigation leads us to propose a unifying framework in which we are able to capture the fundamental aspects of several representation languages used in different contexts. The proposed formalism is expressed in the style of description logics, which have been introduced in knowledge representation as a means to provide a semantically well-founded basis for the structural aspects of knowledge representation systems. The description logic considered in this paper is a subset of first order logic with nice computational characteristics. It is quite expressive and features a novel combination of constructs that has not been studied before. The distinguishing constructs are number restrictions, which generalize existence and functional dependencies, inverse roles, which allow one to refer to the inverse of a relationship, and possibly cyclic assertions, which are necessary for capturing real world domains. We are able to show that it is precisely such combination of constructs that makes our logic powerful enough to model the essential set of features for defining class structures that are common to frame systems, object-oriented database languages, and semantic data models. As a consequence of the established correspondences, several significant extensions of each of the above formalisms become available. The high expressiveness of the logic we propose and the need for capturing the reasoning in different contexts forces us to distinguish between unrestricted and finite model reasoning. A notable feature of our proposal is that reasoning in both cases is decidable. We argue that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, our logic provides a common core for class-based representation formalisms.

scholarly journals “Concepts of Konstantine Gamsakhurdia`s “Moon`s Abduction”

2021 ◽  
Author(s):  
Nana Kutsia ◽  
Miranda Todua ◽  
Marine Turava
Keyword(s):  
State Building ◽  
The Novel ◽  
Soviet System ◽  
Security Officer ◽  
World Outlook ◽  
The World ◽  
Literary Heritage ◽  
Educated Person ◽  
Better Than ◽  
Positive Character

“Moon`s Abduction” by Konstantine Gamsakhurdia is a very important text written in the Soviet Georgia. The writer created monumental literary landscape in the period of so called “socialist realism” literary style. The novel makes a great demand on the reader`s erudition, on his capacity to understand the complex allusions, literary, philosophical and mythological, that characterize Gamsakhurdia`s prose. The present article deals with the world-outlook of Soviet and Post-Soviet literary critique – on the background of the publicistic letters of the outstanding critics Beso Zhghenti and Soso Sigua. The novel clears up the writer`s attitude to the revolution, socialism, collectivization of agriculture, person`s role as a member of society. The Soviet and Post-Soviet critics world-outlooks are absolutely different. By the Soviet critic (Beso Zhghenti) the novel is an excessive apologia of Soviet system, of Soviet state-building, a positive character (hero) is Arzakan Zvambaia, the security officer, the ossicial of Cheka, Bolshevism is better than traditional life of Georgia, civilization is better than culture. By the Post-Soviet world-outlook (Soso Sigua) the novel is a reflection of tragedy of the Georgian nation (because of negation of Georgian traditions, unique Georgian culture), a positive character is a prince Tarash Emkhvari, cultural and well-educated person; Bolshevizm is tragedy. Literary, philosophical and mythological allusions characterize Gamsakhurdias literary heritage (verses, short-stories, novels). The article deals with the world-outlook of the author. The official of Cheka Arzakan is a patricide, another official Arlan cut the centuries-old sacral tree - Bolhevizm hates roots and traditions. There are a lot of mythological characters reflected in the novel (Aramkhutu-Amirani, Sacral-tree, Mezir – Sacral serpant…). A reader feels the influence of Nitcze and Bergson world-outlook, passages from Hesiod`s “Theogony” and Appolonios from Rodoss “Argonautica.”The novel of Konstantine Gamsakhurdia is one of the best reflections and the best samples of Georgian novel of the 30s of the 20th century epoch.

Semantic Web Rule Languages for Geospatial Ontologies

2011 ◽  
pp. 648-669
Author(s):  
Philip D. Smart ◽  
Alia I. Abdelmoty ◽  
Baher A. El-Geresy ◽  
Christopher B. Jones
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Continuous Process ◽  
Geographical Information ◽  
Ontology Language ◽  
Rule Languages ◽  
Sample Application ◽  
Representation Language ◽  
Representational Approach ◽  
Geospatial Ontologies

Geospatial ontologies have a key role to play in the development of the geospatial-Semantic Web, with regard to facilitating the search for geographical information and resources. They normally hold large volumes of geographic information and undergo a continuous process of revision and update. Limitations of the OWL ontology representation language for supporting geospatial domains are discussed and an integrated rule and ontology language is recognized as needed to support the representation and reasoning requirements in this domain. A survey of the current approaches to integrating ontologies and rules is presented and a new framework is proposed that is based on and extends Description Logic Programs. A hybrid representational approach is adopted where the logical component of the framework is used to represent geographical concepts and spatial rules and an external computational geometry processor is used for storing and manipulating the associated geometric data. A sample application is used to demonstrate the proposed language and engine and how they address the identified challenges.

scholarly journals Sesquiterpenes and Cyclodepsipeptides from Marine-Derived Fungus Trichoderma longibrachiatum and Their Antagonistic Activities against Soil-Borne Pathogens

Marine Drugs ◽  
2020 ◽  
Vol 18 (3) ◽  
pp. 165 ◽  
Author(s):  
Feng-Yu Du ◽  
Guang-Lin Ju ◽  
Lin Xiao ◽  
Yuan-Ming Zhou ◽  
Xia Wu
Keyword(s):  
Phytopathogenic Fungi ◽  
Economic Losses ◽  
The Novel ◽  
Root Knot Nematode ◽  
Trichoderma Longibrachiatum ◽  
Soil Borne Pathogens ◽  
Antifungal Potential ◽  
Antagonistic Potential ◽  
Southern Root Knot Nematode ◽  
Better Than

Soil-borne pathogens, including phytopathogenic fungi and root-knot nematodes, could synergistically invade vegetable roots and result in serious economic losses. The genus of Trichoderma has been proven to be a promising reservoir of biocontrol agents in agriculture. In this study, the search for antagonistic metabolites from a marine-derived fungus, Trichoderma longibrachiatum, obtained two structural series of sesquiterpenes 1–6 and cyclodepsipeptides 7–9. Notably, the novel 1 was a rare norsesquiterpene characterized by an unprecedented tricyclic-6/5/5-[4.3.1.01,6]-decane skeleton. Their structures were elucidated by extensive spectroscopic analyses, while the absolute configuration of novel 1 was determined by the comparison of experimental and calculated ECD spectra. The novel 1 and known 2 and 3 showed significant antifungal activities against Colletotrichum lagrnarium with MIC values of 8, 16, and 16 μg/mL respectively, even better than those of the commonly used synthetic fungicide carbendazim with 32 μg/mL. They also exhibited antifungal potential against carbendazim-resistant Botrytis cinerea. Cyclodepsipeptides 7–9 showed moderate nematicidal activities against the southern root-knot nematode (Meloidogyne incognita). This study constitutes the first report on the antagonistic effects of metabolites from T. Longibrachiatum against soil-borne pathogens, also highlighting the integrated antagonistic potential of marine-derived T. Longibrachiatum as a biocontrol agent.

scholarly journals Ethnic Harmony in BP Koirala's Sumnima

2019 ◽  
Vol 2 ◽  
pp. 106-116
Author(s):  
Bhanu Bhakta Sharma Khandal
Keyword(s):  
Belief Systems ◽  
Cultural Norms ◽  
The Novel ◽  
Ethnic Communities ◽  
Cultural Groups ◽  
Melting Pot ◽  
The People ◽  
Norms And Values ◽  
Diverse Society ◽  
Better Than

Sumnima, a novel written by Bishweshwar Prasad Koirala (BP Koirala in short), has raised voice for social integration through harmonious relationship among the ethnic groups. But it is read as the presentation of binary between Aryan and Kirat cultures, highlighting differences in belief systems, rites, rituals, and day to day lifestyle that create misunderstanding, conflict, and problems among the people of different cultural groups. The main objective of studying the novel, in this article, is to find how the novelist offers an opportunity to the readers to realize the ideas and benefits of harmony among the divergent ethnic communities living in Nepal or elsewhere through understanding differences and celebrating the diversity. Theoretical insights of ethnicity have been used to analyze the primary text. The article argues, taking the reference of the novel, that ethnic misunderstandings and conflicts can be solved by understanding cultural norms and values of others. The article also examines and analyzes how the relations without understanding cannot prosper even within the same ethnic group but love and understanding makes the life beautiful no matter which tribe or ethnicity the people belong to. The implicit intention of the novelist in the novel is that in a culturally diverse society, mutual understanding, compromise, and respect of difference make the society a ‘salad bowl’ that works better than trying to make it a ‘melting pot’.

Sign in / Sign up

Export Citation Format

Share Document