skip to main content
10.1145/2245276.2245339acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Sorted hyper-predicate knowledge bases for ontologies and rules

Published: 26 March 2012 Publication History

Abstract

In the Semantic Web context, the meta-modeling of concepts in ontologies and rules is required for defining the meanings of upper-level data and vocabularies. For this purpose, we propose a decidable fragment of order-sorted logic programming with hyper-predicate hierarchies. In the sorted language, we can employ simple- and hyper-predicates to express the concepts of sorts, predicates, and meta-predicates by unifying and enhancing them in a hyper-predicate hierarchy. The sorted Horn-clause calculus is extended to develop a query-answering system that can answer queries such as atoms and hyper-atoms generalized to contain predicate variables. We show that each query is computable in NEXPTIME if knowledge bases are function-free and safe. Furthermore, the computation can be reduced to EXPTIME if additional arguments in super-predicates and multiple predicate declarations are restricted.

References

[1]
http://www.ruleml.org/.
[2]
http://www.w3.org/tr/owl2-profiles/.
[3]
W. Chen and M. Kifer. Sorted HiLog: Sorts in higher-order logic data languages. In Proc. of the 5th International Conference on Database Theory (ICDT'95), LNCS 893, pages 252--265. Springer, 1995.
[4]
A. G. Cohn.< Taxonomic reasoning with many sorted logics. Artificial Intelligence Review, 3: 89--128, 1989.
[5]
K. Doets. From Logic to Logic Programming. The MIT Press, 1994.
[6]
B. Glimm, S. Rudolph, and J. Völker. Integrated metamodeling and diagnosis in OWL 2. In Proceedings of the 9th International Semantic Web Conference (ISWC 2010), pages 257--272, 2010.
[7]
B. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logics. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003), Budapest, Hungary, 2003.
[8]
M. Hanus. Logic programming with type specifications. In F. Pfenning, editor, Types in Logic Programming. The MIT Press, 1992.
[9]
P. Hitzler and B. Parsia. Ontologies and rules. In S. Staab and R. Studer, editors, Handbook on Ontologies (2nd Edition). 2009.
[10]
I. Horrocks and P. F. Patel-Schneider. A proposal for an owl rules language. In Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pages 723--731. ACM, 2004.
[11]
I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Recommendation, http://www.w3.org/submission/swrl/.
[12]
K. Kaneiwa and R. Mizoguchi. Distributed reasoning with ontologies and rules in order-sorted logic programming. Journal of Web Semantics, 7(3): 252--270, 2009.
[13]
K. Kaneiwa and P. Nguyen. Decidable order-sorted logic programming for ontologies and rules with argument restructuring. In Proceedings of the 8th International Semantic Web Conference (ISWC 2009), LNCS 5823, pages 328--343. Springer, 2009.
[14]
M. Krötzsch, S. Rudolph, and P. Hitzler. ELP: Tractable rules for OWL 2. In Proceedings of the 7th International Semantic Web Conference (ISWC 2008), LNCS 5318, pages 649--664, 2008.
[15]
O. Lassila and R. Swick. Resource Description Framework (RDF) model and syntax specification, W3C Recommendation, http://www.w3.org/TR/PR-rdf-syntax, 1999.
[16]
J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.
[17]
B. Motik. On the Properties of Metamodeling in OWL. Journal of Logic and Computation, 17(4): 617--637, 2007.
[18]
B. Motik, U. Sattler, and R. Studer. Query Answering for OWL-DL with Rules. Journal of Web Semantics, 3(1): 41--60, 2005.
[19]
P. H. P. Nguyen, K. Kaneiwa, D. Corbett, and M.-Q. Nguyen. Meta-relation and ontology closure in conceptual structure theory. Artif. Intell. Law, 17(4): 291--320, 2009.
[20]
P. F. Patel-Schneider, P. Hayes, and I. Horrocks. OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation, http://www.w3.org/tr/2004/rec-owl-semantics-20040210/, 2004.
[21]
R. Rosati. On the decidability and complexity of integrating ontologies and rules. Journal of Web Semantics, 3(1): 41--60, 2005.
[22]
R. Socher-Ambrosius and P. Johann. Deduction Systems. Springer-Verlag, 1996.
  1. Sorted hyper-predicate knowledge bases for ontologies and rules

        Recommendations

        Comments

        Information & Contributors

        Information

        Published In

        cover image ACM Conferences
        SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing
        March 2012
        2179 pages
        ISBN:9781450308571
        DOI:10.1145/2245276
        • Conference Chairs:
        • Sascha Ossowski,
        • Paola Lecca
        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Sponsors

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        Published: 26 March 2012

        Permissions

        Request permissions for this article.

        Check for updates

        Qualifiers

        • Research-article

        Funding Sources

        Conference

        SAC 2012
        Sponsor:
        SAC 2012: ACM Symposium on Applied Computing
        March 26 - 30, 2012
        Trento, Italy

        Acceptance Rates

        SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;
        Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

        Upcoming Conference

        SAC '25
        The 40th ACM/SIGAPP Symposium on Applied Computing
        March 31 - April 4, 2025
        Catania , Italy

        Contributors

        Other Metrics

        Bibliometrics & Citations

        Bibliometrics

        Article Metrics

        • 0
          Total Citations
        • 109
          Total Downloads
        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0
        Reflects downloads up to 20 Jan 2025

        Other Metrics

        Citations

        View Options

        Login options

        View options

        PDF

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        Media

        Figures

        Other

        Tables

        Share

        Share

        Share this Publication link

        Share on social media