Towards Practical ABox Abduction in Large Description Logic Ontologies

2012 ◽  
Vol 8 (2) ◽  
pp. 1-33 ◽  
Author(s):  
Jianfeng Du ◽  
Guilin Qi ◽  
Yi-Dong Shen ◽  
Jeff Z. Pan
Keyword(s):  
Finite Number ◽  
Finite Time ◽  
Description Logic ◽  
Description Logics ◽  
Experimental Results ◽  
New Method ◽  
Standard Language ◽  
Minimal Sets

ABox abduction is an important reasoning facility in Description Logics (DLs). It finds all minimal sets of ABox axioms, called abductive solutions, which should be added to a background ontology to enforce entailment of an observation which is a specified set of ABox axioms. However, ABox abduction is far from practical by now because there lack feasible methods working in finite time for expressive DLs. To pave a way to practical ABox abduction, this paper proposes a new problem for ABox abduction and a new method for computing abductive solutions accordingly. The proposed problem guarantees finite number of abductive solutions. The proposed method works in finite time for a very expressive DL, , which underpins the W3C standard language OWL 2, and guarantees soundness and conditional completeness of computed results. Experimental results on benchmark ontologies show that the method is feasible and can scale to large ABoxes.

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.

A new method for monitoring the redox potential of fuel salt based on the deposition of 95Nb on Hastelloy C276

2021 ◽  
Vol 109 (5) ◽  
pp. 357-365
Author(s):  
Zhiqiang Cheng ◽  
Zhongqi Zhao ◽  
Junxia Geng ◽  
Xiaohe Wang ◽  
Jifeng Hu ◽  
...  
Keyword(s):  
Redox Potential ◽  
Molten Salt ◽  
Specific Activity ◽  
Chemical Reduction ◽  
Quantitative Approach ◽  
Experimental Results ◽  
New Method ◽  
Molten Salt Reactor ◽  
Fuel Salt ◽  
Well Correlation

Abstract To develop the application of 95Nb as an indicator of redox potential for fuel salt in molten salt reactor (MSR), the specific activity of 95Nb in FLiBe salt and its deposition of 95Nb on Hastelloy C276 have been studied. Experimental results indicated that the amount of 95Nb deposited on Hastelloy C276 resulted from its chemical reduction exhibited a positive correlation with the decrease of 95Nb activity in FLiBe salt and the relative deposition coefficient of 95Nb to 103Ru appeared a well correlation with 95Nb activity in FLiBe salt. Both correlations implied that the measurement of 95Nb activity deposited on Hastelloy C276 specimen might provide a quantitative approach for monitoring the redox potential of fuel salt in MSR.

scholarly journals A Novel Concept Acquisition Approach Based on Formal Contexts

2014 ◽  
Vol 2014 ◽  
pp. 1-7 ◽  
Author(s):  
Ting Qian ◽  
Ling Wei
Keyword(s):  
Data Analysis ◽  
Formal Concept Analysis ◽  
Real Life ◽  
Experimental Results ◽  
New Method ◽  
Concept Acquisition ◽  
Formal Concept ◽  
Knowledge Processing ◽  
Formal Concepts ◽  
Novel Concept

As an important tool for data analysis and knowledge processing, formal concept analysis (FCA) has been applied to many fields. In this paper, we introduce a new method to find all formal concepts based on formal contexts. The amount of intents calculation is reduced by the method. And the corresponding algorithm of our approach is proposed. The main theorems and the corresponding algorithm are examined by examples, respectively. At last, several real-life databases are analyzed to demonstrate the application of the proposed approach. Experimental results show that the proposed approach is simple and effective.

A modified Runge-Kutta method

SIMULATION ◽  
1968 ◽  
Vol 10 (5) ◽  
pp. 221-223 ◽  
Author(s):  
A.S. Chai
Keyword(s):  
Error Estimate ◽  
Linear Combination ◽  
Experimental Results ◽  
The Other ◽  
New Method ◽  
Kutta Method ◽  
Starting Values ◽  
Runge Kutta Method ◽  
Runge Kutta ◽  
A Minor

It is possible to replace k2 in a 4th-order Runge-Kutta for mula (also Nth-order 3 ≤ N ≤ 5) by a linear combination of k1 and the ki's in the last step, using the same procedure for computing the other ki's and y as in the standard R-K method. The advantages of the new method are: It re quires one less derivative evaluation, provides an error estimate at each step, gives more accurate results, and needs a minor change to switch to the RK to obtain the starting values. Experimental results are shown in verification of the for mula.

A NEW METHOD OF PATTERN SHOOTING

Geophysics ◽  
1955 ◽  
Vol 20 (3) ◽  
pp. 539-564 ◽  
Author(s):  
J. O. Parr ◽  
W. H. Mayne
Keyword(s):  
Finite Number ◽  
Finite Length ◽  
Vertical Line ◽  
New Method ◽  
Horizontal Line ◽  
Wavelength Band ◽  
Continuous Band ◽  
Reversed Polarity ◽  
Multiple Detectors ◽  
Horizontal Area

In areas where reflection shooting is difficult, it is often necessary to attenuate the energy in a broad continuous band of disturbing wavelengths to less than a few hundredths of what would be recorded if all units were bunched together. The wavelength band of the attenuated energy should be adjacent to the band of reflection wavelengths received. Attenuation of the undesired energy is best accomplished with multiple detectors or charges. In many areas the pattern should attenuate energy horizontally propagated in all directions, not just in the direction of the detector line. Neither a finite number of uniformly effective, uniformly spaced units in line nor a uniformly effective sheet of finite length will accomplish this result. A system for gradation of the effectiveness of units described in this paper does produce this result (not only for in‐line disturbances but also for disturbances coming in from the side of the line). The attenuation band can be made broad with good attenuation or narrower with still better attenuation, as desired. The variation of effectiveness can be applied to detectors or charges arranged in a horizontal line, over a horizontal area, in a vertical line, or over a vertical area. The principle of varying effectiveness can also be applied to reversed‐polarity detectors in order to accentuate certain apparent wavelengths.

Cutting Speed of Electric Discharge Machining for SiC Ingot

2012 ◽  
Vol 717-720 ◽  
pp. 861-864 ◽  
Author(s):  
Hideki Yamada ◽  
Satarou Yamaguchi ◽  
Norimasa Yamamoto ◽  
Tomohisa Kato
Keyword(s):  
Silicon Carbide ◽  
Electric Discharge ◽  
Cutting Speed ◽  
Experimental Results ◽  
New Method ◽  
Electric Discharge Machining ◽  
Hard Materials ◽  
Diameter Ingot ◽  
Diamond Saw

A new method based on electric discharge machining (EDM) was developed for cutting a silicon carbide (SiC) ingot. The EDM method is a very useful technique to cut hard materials like SiC. By cutting with the EDM method, kerf loss and roughness of sample are generally smaller than those obtained by cutting with a diamond saw. Moreover, the warpage is smaller than that by the diamond saw cutting, and the cutting speed can be 10 times faster than that of the diamond saw at the present time. We used wires of 50 mm and 100 mm diameters in the experiments, and the experimental results of the cutting speed and the kerf losses are presented. The kerf loss of the 50 mm wire is less than 100 mm, and the cutting speed is about 0.8 mm/min for the thickness of a 6 mm SiC ingot. If we can maintain the cutting speed, the slicing time of a 2 inches diameter ingot would be about seven hours.

FINITELY SUBSEQUENTIAL TRANSDUCERS

2003 ◽  
Vol 14 (06) ◽  
pp. 983-994 ◽  
Author(s):  
CYRIL ALLAUZEN ◽  
MEHRYAR MOHRI
Keyword(s):  
Speech Recognition ◽  
Finite Number ◽  
Efficient Algorithm ◽  
Experimental Results ◽  
Theoretical Formulation ◽  
Large Vocabulary ◽  
Finite State Transducers ◽  
Finite State ◽  
Large Vocabulary Speech Recognition

Finitely subsequential transducers are efficient finite-state transducers with a finite number of final outputs and are used in a variety of applications. Not all transducers admit equivalent finitely subsequential transducers however. We briefly describe an existing generalized determinization algorithm for finitely subsequential transducers and give the first characterization of finitely subsequentiable transducers, transducers that admit equivalent finitely subsequential transducers. Our characterization shows the existence of an efficient algorithm for testing finite subsequentiability. We have fully implemented the generalized determinization algorithm and the algorithm for testing finite subsequentiability. We report experimental results showing that these algorithms are practical in large-vocabulary speech recognition applications. The theoretical formulation of our results is the equivalence of the following three properties for finite-state transducers: determinizability in the sense of the generalized algorithm, finite subsequentiability, and the twins property.

scholarly journals Experimental Results on a New Method for Analysis of Heart Rate Variability

2014 ◽  
Vol 04 (08) ◽  
pp. 385-389 ◽  
Author(s):  
Elio Conte ◽  
William Giroldini ◽  
Vincenza Laterza ◽  
Sergio Conte ◽  
Maria Pieralice ◽  
...  
Keyword(s):  
Heart Rate ◽  
Heart Rate Variability ◽  
Experimental Results ◽  
New Method

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.

Sign in / Sign up

Export Citation Format

Share Document