Deciding the ALCNIR+-Satisfiability with a Fully Tiered Clause

Hua Mao Gu; Jin Qin Shi; Xia Jun Zhu

doi:10.4028/www.scientific.net/KEM.439-440.1337

Paper Titles

The Design of an Enterprise Information Resource Management Platform Based on IRP
p.1312

A New Privacy Preserving Approach Used in Cloud Computing
p.1318

Research on Virtual-Switch Characteristics of Noise-Enhanced Stochastic Resonance Using Leaky Integrate-and-Fire Model
p.1324

Study on the Integrated Modeling of the Entire Rider-Vehicle-Road System
p.1328

Deciding the ALCNI_R₊-Satisfiability with a Fully Tiered Clause
p.1337

Test Investigation of Velocity Distribution Considering Snow Particles Participating
p.1343

Outdoor Test of Wind-Drifted Snow Distribution around a Cube
p.1349

Comprehensive Assessment of Bridge Based on a New Tool: Clear Mathematics
p.1355

An Effective Approach for Instructional Resource Database Construction with Web Images
p.1361

HomeKey Engineering MaterialsKey Engineering Materials Vols. 439-440Deciding the ALCNIR+-Satisfiability with a Fully...

Deciding the ALCNI_R₊-Satisfiability with a Fully Tiered Clause

Abstract:

In contrast with Tableau algorithm, this paper presented a totally new approach to check the satisfiabilities of acyclic ALCNIR+-concepts―FTC algorithm. This calculus can make a direct judgment on the satisfiability of an acyclic ALCNIR+-concept by translating its description into a fully tiered clause whose satisfiability is directly available. FTC algorithm eliminates description overlaps to largest extent as it works on concept description directly. Therefore, FTC algorithm has notably better performance than Tableaux by saving a lot of spatial costs.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Key Engineering Materials (Volumes 439-440)

Pages:

1337-1342

DOI:

https://doi.org/10.4028/www.scientific.net/KEM.439-440.1337

Citation:

Cite this paper

Online since:

June 2010

Authors:

Hua Mao Gu, Jin Qin Shi, Xia Jun Zhu

Keywords:

ALCNI_R₊, Bridge, Concept Clause, Description Logic, Satisfiability

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] U. Hustadt, B. Motik, U. Sattler: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. Journal of Automated Reasoning, Vol. 39(2007), pp.351-384.

DOI: 10.1007/s10817-007-9080-3

Google Scholar

[2] H. W. Christian, P. Bijan, S. Evren. Description logic reasoning with syntactic updates. In: Meersman, R, Tari Z, eds. The 5th international conference on ontologies, databases, and applications of semantics (odbase2006). LNCS 4275, Berlin/Heidelberg: Springer (2006).

Google Scholar

[3] I. Horrocks, U. Sattler: Ontology reasoning in the SHOQ(D) description logic. In: Bernhard N, eds. Proc. of IJCAI 2001, San Francisco: Morgan Kaufmann (2001), pp.199-204.

Google Scholar

[4] I. Horrocks, U. Sattler: A Tableau Decision Procedure for SHOIQ. Journal of Automated Reasoning, Vol. 39(2007), pp.249-276.

DOI: 10.1007/s10817-007-9079-9

Google Scholar

[5] T. Liebig, F. Müller: Parallelizing Tableaux-Based Description Logic Reasoning. Meersman R, , edited by Z. Tari, P. Herrero, et al. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. LNCS 4806. Berlin/Heidelberg: Springer (2007).

DOI: 10.1007/978-3-540-76890-6_41

Google Scholar

[6] J. Bao, D. Caragea, V. Honavar. A Distributed Tableau Algorithm for Package-based Description Logics. In: Ghidini C, Serafini L, Bouquet P, eds. Proceedings of the ECAI Workshop on Context Representation and Reasoning , Riva del Garda, Italy (2006).

Google Scholar

[7] L. Chang, Z. Z. Shi, L. R. Qiu, F. Lin. A Tableau Decision Algorithm for Dynamic Description Logic. Chinese Journal of Computers, Vol. 31(2008), pp.896-909 (In Chinese).

DOI: 10.3724/sp.j.1016.2008.00896

Google Scholar

[8] Y. C. Jiang, Z. Z. Shi, Y. Tang, J. Wang: Fuzzy Description Logic for Semantics Representation of the Semantic Web. Journal of Software, Vol. 18(2007), pp.1257-1269 (In Chinese).

DOI: 10.1360/jos181257

Google Scholar

[9] F. Baader, D. Calvanese, et al. in: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge: Cambridge University Press (2003).

Google Scholar

[10] I. Horrocks, S. Tobies, U. Sattler: A PSPACE-algorithm for deciding ALCNIR+-satisfiability.

DOI: 10.25368/2022.84

Google Scholar