Skip to main content
SpringerLink
Log in

Automated Reasoning

  • Living reference work entry
  • First Online:
Book cover Encyclopedia of Big Data Technologies

  • 280 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  • Artale A, Franconi E (1994) A computational account for a description logic of time and action. In: KR1994, pp 3–14

    Chapter  Google Scholar 

  • Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (eds) (2003) The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York

    MATH  Google Scholar 

  • Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In: IJCAI2015

    Google Scholar 

  • Baader F, Lutz C, Suntisrivaraporn B (2006) CEL—a polynomial-time reasoner for life science ontologies. In: IJCAR’06, pp 287–291

    Google Scholar 

  • Baader F, Brandt S, Lutz C (2008) Pushing the EL envelope further. In: OWLED2008

    Google Scholar 

  • Bergmann F, Quantz J (1995) Parallelizing description logics. In: KI1995, pp 137–148

    Chapter  Google Scholar 

  • Borgida A, Serafini L (2003) Distributed description logics. J Data Semant 1:153–184

    MATH  Google Scholar 

  • Calvanese D, Giacomo GD, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the dl-lite family. J Autom Reason 39:385–429

    Article  MathSciNet  Google Scholar 

  • Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Poggi A, Rodriguez-Muro M, Rosati R, Ruzzi M, Savo DF (2011) The MASTRO system for ontology-based data access. J Web Semant 2:43–53

    Google Scholar 

  • Calvanese D, Cogrel B, Komla-Ebri S, Kontchakov R, Lanti D, Rezk M, Rodriguez-Muro M, Xiao G (2016) Ontop: answering SPARQL queries over relational databases. Semant Web J 8:471-487

    Article  Google Scholar 

  • Ceri S, Gottlob G, Tancar L (1989) What you always wanted to know about Datalog (and never dared to ask). IEEE Trans Knowl Data Eng 1:146–166

    Article  Google Scholar 

  • Chen J, Lecue F, Pan JZ, Chen H (2017) Learning from ontology streams with semantic concept drift. In: IJCAI-2017, pp 957–963

    Google Scholar 

  • Colucci S, Noia TD, Sciascio ED, Donini F (2003) Concept abduction and contraction in description logics. In: DL2003

    Google Scholar 

  • Davis M (1957) A computer program for Presburgers’ algorithm. In: Summaries of talks presented at the summer institute for symbolic logic, Cornell University, pp 215–233

    Google Scholar 

  • Frege G (1884) Die Grundlagen der Arithmetik. Breslau, Wilhelm Kobner

    Google Scholar 

  • Glimm B, Horrocks I, Motik B, Stoilos G (2010) Optimising ontology classification. In: ISWC2010, pp 225–240

    Google Scholar 

  • Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z (2014) HermiT: an OWL 2 reasoner. J Autom Reason 53: 245–269

    Article  Google Scholar 

  • Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: WWW2003, pp 48–57

    Google Scholar 

  • Haarslev V, Möller R (2001) RACER system description. In: IJCAR2001, pp 701–705

    Chapter  Google Scholar 

  • Horrocks I (1998) Using an expressive description logic: FaCT or fiction? In: KR1998

    Google Scholar 

  • Horrocks I, Patel-Schneider P (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Semant 1:7–26

    Article  Google Scholar 

  • Horrocks I, Sattler U (2005) A tableaux decision procedure for shoiq. In: IJCAI2005, pp 448–453

    Google Scholar 

  • Horrocks I, Kutz O, Sattler U (2006) The even more irresistible sroiq. In: KR2006, pp 57–67

    Google Scholar 

  • Kaminski M, Grau BC, Kostylev EV, Motik B, Horrocks I (2017) Foundations of declarative data analysis using limit datalog programs. In: Proceedings of the twenty-sixth international joint conference on artificial intelligence, IJCAI-17, pp 1123–1130. https://doi.org/10.24963/ijcai.2017/156

    Article  Google Scholar 

  • Kazakov Y, Klinov P (2013) Incremental reasoning in OWL EL without bookkeeping. In: ISWC2013, pp 232–247

    Google Scholar 

  • Kazakov Y, Krötzsch M, Simancik F (2011) Concurrent classification of EL ontologies. In: ISWC2011, pp 305–320

    Google Scholar 

  • Kazakov Y, Krötzsch M, Simancik F (2012) ELK reasoner: architecture and evaluation. In: ORE2012

    Google Scholar 

  • Koller D, Levy A, Pfeffer A (1997) P-CLASSIC: a tractable probablistic description logic. In: AAAI1997

    Google Scholar 

  • Konev B, Lutz C, Ozaki A, Wolter F (2014) Exact learning of lightweight description logic ontologies. In: KR2014, pp 298–307

    Google Scholar 

  • Krötzsch M, Rudolph S, Hitzler P (2008) Description logic rules. In: ECAI2008, pp 80–84

    Google Scholar 

  • Serafini L, Tamilin A (2005) Drago: distributed reasoning architecture for the semantic web. In: ESWC2005, pp 361–376

    Google Scholar 

  • Lecue F, Pan JZ (2015) Consistent knowledge discovery from evolving ontologies. In: AAAI-15

    Google Scholar 

  • Levesque HJ, Brachman RJ (1987) Expressiveness and tractability in knowledge representation and reasoning. Comput Intell 3:78–93

    Article  Google Scholar 

  • Lifschitz V (2002) Answer set programming and plan generation. Artif Intell 138:39–54

    Article  MathSciNet  Google Scholar 

  • Lisi FA, Malerba D (2003) Ideal refinement of descriptions in AL-Log. In: ICILP2003

    Google Scholar 

  • Lutz C, Seylan I, Wolter F (2013) Ontology-based data access with closed predicates is inherently intractable (Sometimes). In: IJCAI2013, pp 1024–1030

    Google Scholar 

  • MacGregor RM (1991) Inside the LOOM description classifier. ACM SIGART Bull – special issue on implemented knowledge representation and reasoning systems 2:88–92

    Google Scholar 

  • Motik B, Horrocks I (2008) Owl datatypes: design and implementation. In: ISWC2008, pp 307–322

    Google Scholar 

  • Motik B, Sattler U, Studer R (2005) Query answering for OWL-DL with rules. J Web Semant 3:41–60

    Article  Google Scholar 

  • Motik B, Shearer R, Horrocks I (2009) Hypertableau reasoning for description logics. J Artif Intell Res 36: 165–228

    Article  MathSciNet  Google Scholar 

  • Motik B, Nenov Y, Piro R, Horrocks I, Olteanu D (2014) Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: AAAI2014

    Google Scholar 

  • Motik B, Nenov Y, Piro R, Horrocks I (2015a) Handling of owl: sameAs via rewriting. In: AAAI2015

    Google Scholar 

  • Motik B, Nenov Y, Robert Piro IH (2015b) Incremental update of datalog materialisation: the backward/forward algorithm. In: AAAI2015

    Google Scholar 

  • Newell A, Shaw C, Simon H (1957) Empirical explorations of the logic theory machine. In: Proceedings of the 1957 western joint computer conference

    Google Scholar 

  • Pan JZ, Horrocks I (2003) RDFS(FA) and RDF MT: two semantics for RDFS. In: Fensel D, Sycara K, Mylopoulos J (eds) ISWC2003

    Google Scholar 

  • Pan JZ, Horrocks I (2006) OWL-Eu: adding customised datatypes into OWL. J Web Semant 4:29–39

    Article  Google Scholar 

  • Pan JZ, Thomas E (2007) Approximating OWL-DL ontologies. In: The proceedings of the 22nd national conference on artificial intelligence (AAAI-07), pp 1434–1439

    Google Scholar 

  • Pan JZ, Ren Y, Zhao Y (2016a) Tractable approximate deduction for OWL. Artif Intell 235:95–155

    Article  MathSciNet  Google Scholar 

  • Pan JZ, Vetere G, Gomez-Perez J, Wu H (2016b) Exploiting linked data and knowledge graphs for large organisations. Springer, Switzerland

    Google Scholar 

  • Pan JZ, Calvanese D, Eiter T, Horrocks I, Kifer M, Lin F, Zhao Y (2017) Reasoning web: logical foundation of knowledge graph construction and querying answering. Springer, Cham

    Book  Google Scholar 

  • Qi G, Ji Q, Pan JZ, Du J (2011) Extending description logics with uncertainty reasoning in possibilistic logic. Int J Intell Syst 26:353–381

    Article  Google Scholar 

  • Quantz JJ, Suska S (1994) Weighted defaults in description logics: formal properties and proof theory. In: Annual conference on artificial intelligence, pp 178–189

    Google Scholar 

  • Ren Y, Pan JZ (2011) Optimising ontology stream reasoning with truth maintenance system. In: CIKM 2011

    Google Scholar 

  • Ren Y, Pan JZ, Zhao Y (2010) Soundness preserving approximation for TBox reasoning. In: AAAI2010

    Google Scholar 

  • Ren Y, Parvizi A, Mellish C, Pan JZ, van Deemter K, Stevens R (2014) Towards competency question-driven ontology authoring. In: Proceedings of the 11th conference on extended semantic web conference (ESWC 2014)

    Google Scholar 

  • Ren Y, Pan JZ, Guclu I, Kollingbaum M (2016) A combined approach to incremental reasoning for EL ontologies. In: RR2016

    Google Scholar 

  • Rodriguez-Muro M, Rezk M (2015) Efficient SPARQL-to-SQL with R2RML mappings. J Web Semant 33:141–169

    Article  Google Scholar 

  • Rodriguez-Muro M, Kontchakov R, Zakharyaschev M (2013) Query rewriting and optimisation with database dependencies in ontop. In: DL2013

    Google Scholar 

  • Rosati R, Almatelli A (2010) Improving query answering over DL-Lite ontologies. In: KR2010, pp 290–300

    Google Scholar 

  • Shortliffe EH (1974) MYCIN: a rule-based computer program from advising physicians regarding antimicrobial therapy selection. PhD thesis, Stanford University

    Google Scholar 

  • Sirin E, Parsia B, Grau B, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. J Web Semant 5:51–53

    Article  Google Scholar 

  • Steigmiller A, Glimm B (2015) Pay-As-You-Go description logic reasoning by coupling tableau and saturation procedure. J Artif Intell Res 54:535–592

    Article  MathSciNet  Google Scholar 

  • Steigmiller A, Glimm B, Liebig T (2014a) Reasoning with nominal schemas through absorption. J Autom Reason 53:351–405

    Article  MathSciNet  Google Scholar 

  • Steigmiller A, Liebig T, Glimm B (2014b) Konclude: system description. J Web Semant 27:78–85

    Article  Google Scholar 

  • Straccia U (2001) Reasoning within fuzzy description logics. J Artif Intell Res 14:147–176

    Article  MathSciNet  Google Scholar 

  • Stuckenschmidt H, Ceri S, Valle ED, van Harmelen F (2010) Towards expressive stream reasoning. In: Semantic challenges in sensor networks, no. 10042 in Dagstuhl seminar proceedings

    Google Scholar 

  • Suntisrivaraporn B, Qi G, Ji Q, Haase P (2008) A modularization-based approach to finding all justifications for OWL DL entailments. In: ASWC2008, pp 1–15

    Google Scholar 

  • Thomas E, Pan JZ, Ren Y (2010) TrOWL: tractable OWL 2 reasoning infrastructure. In: ESWC2010

    Google Scholar 

  • Tsarkov D, Horrocks I (2006) FaCT++ description logic reasoner: system description. In: IJCAR2006, pp 292–297

    Chapter  Google Scholar 

  • Zhou Y, Grau BC, Horrocks I, Wu Z, Banerjee J (2013) Making the most of your triple store: query answering in OWL 2 using an RL reasoner. In: WWW2013, pp 1569–1580

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Aberdeen, Scotland, UK

    Jeff Z. Pan

  2. Guangdong University of Foreign Studies, Guangdong, China

    Jianfeng Du

Authors
  1. Jeff Z. Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jianfeng Du
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jeff Z. Pan .

Editor information

Editors and Affiliations

  1. Institute of Computer Science, University of Tartu, Tartu, Estonia

    Sherif Sakr

  2. Sch of Info Techno, Building J12, University of Sydney Sch of Info Techno, Building J12, Sydney, Australia

    Albert Zomaya

Section Editor information

  1. eXascale Infolab, University of Fribourg, Fribourg, Switzerland

    Philippe Cudré-Mauroux

  2. Linköping University, Linköping, Sweden

    Olaf Hartig

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Pan, J.Z., Du, J. (2018). Automated Reasoning. In: Sakr, S., Zomaya, A. (eds) Encyclopedia of Big Data Technologies. Springer, Cham. https://doi.org/10.1007/978-3-319-63962-8_314-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-63962-8_314-1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-63962-8

  • Online ISBN: 978-3-319-63962-8

  • eBook Packages: Springer Reference MathematicsReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation