Knorr, Matthias On combining ontologies and rules. (English) Zbl 1524.68366 Šimkus, Mantas (ed.) et al., Reasoning web. Declarative artificial intelligence. 17th international summer school 2021, Leuven, Belgium, September 8–15, 2021. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 13100, 22-58 (2022). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{M. Knorr}, Lect. Notes Comput. Sci. 13100, 22--58 (2022; Zbl 1524.68366) Full Text: DOI
Dubslaff, Clemens; Koopmann, Patrick; Turhan, Anni-Yasmin Enhancing probabilistic model checking with ontologies. (English) Zbl 1522.68310 Formal Asp. Comput. 33, No. 6, 885-921 (2021). MSC: 68Q60 68T27 68T30 PDFBibTeX XMLCite \textit{C. Dubslaff} et al., Formal Asp. Comput. 33, No. 6, 885--921 (2021; Zbl 1522.68310) Full Text: DOI
Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \). (English) Zbl 1522.68532 Artif. Intell. 298, Article ID 103518, 66 p. (2021). MSC: 68T27 68T30 68V15 PDFBibTeX XMLCite \textit{D. Tena Cucala} et al., Artif. Intell. 298, Article ID 103518, 66 p. (2021; Zbl 1522.68532) Full Text: DOI
Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach. (English) Zbl 1472.68194 Theory Pract. Log. Program. 19, No. 3, 449-476 (2019). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{R. Zese} et al., Theory Pract. Log. Program. 19, No. 3, 449--476 (2019; Zbl 1472.68194) Full Text: DOI arXiv
Cantone, Domenico; Nicolosi-Asmundo, Marianna; Santamaria, Daniele Francesco An optimized KE-tableau-based system for reasoning in the description logic \({\mathcal{DL}}_{{\mathbf{D}}}^{4,\times } \). (English) Zbl 1518.68357 Benzmüller, Christoph (ed.) et al., Rules and reasoning. Second international joint conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11092, 239-247 (2018). MSC: 68T27 68T30 68V15 PDFBibTeX XMLCite \textit{D. Cantone} et al., Lect. Notes Comput. Sci. 11092, 239--247 (2018; Zbl 1518.68357) Full Text: DOI
Matentzoglu, Nicolas; Parsia, Bijan; Sattler, Uli OWL reasoning: subsumption test hardness and modularity. (English) Zbl 1398.68518 J. Autom. Reasoning 60, No. 4, 385-419 (2018). MSC: 68T30 68Q17 68T27 PDFBibTeX XMLCite \textit{N. Matentzoglu} et al., J. Autom. Reasoning 60, No. 4, 385--419 (2018; Zbl 1398.68518) Full Text: DOI Link
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina Tableau reasoning for description logics and its extension to probabilities. (English) Zbl 1398.68506 Ann. Math. Artif. Intell. 82, No. 1-3, 101-130 (2018). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{R. Zese} et al., Ann. Math. Artif. Intell. 82, No. 1--3, 101--130 (2018; Zbl 1398.68506) Full Text: DOI Link
Schekotihin, Konstantin; Rodler, Patrick; Schmid, Wolfgang OntoDebug: interactive ontology debugging plug-in for Protégé. (English) Zbl 1508.68009 Ferrarotti, Flavio (ed.) et al., Foundations of information and knowledge systems. 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10833, 340-359 (2018). MSC: 68-04 68T30 PDFBibTeX XMLCite \textit{K. Schekotihin} et al., Lect. Notes Comput. Sci. 10833, 340--359 (2018; Zbl 1508.68009) Full Text: DOI
Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas The OWL reasoner evaluation (ORE) 2015 competition report. (English) Zbl 1425.68402 J. Autom. Reasoning 59, No. 4, 455-482 (2017). MSC: 68T30 68T27 68T35 68T37 PDFBibTeX XMLCite \textit{B. Parsia} et al., J. Autom. Reasoning 59, No. 4, 455--482 (2017; Zbl 1425.68402) Full Text: DOI
Bhushan, Megha; Goel, Shivani Improving software product line using an ontological approach. (English) Zbl 1365.68411 Sādhanā 41, No. 12, 1381-1391 (2016). MSC: 68T30 68N99 PDFBibTeX XMLCite \textit{M. Bhushan} and \textit{S. Goel}, Sādhanā 41, No. 12, 1381--1391 (2016; Zbl 1365.68411) Full Text: DOI Link
Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina Distributed parameter learning for probabilistic ontologies. (English) Zbl 1347.68320 Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 30-45 (2016). MSC: 68T30 68T27 68T37 PDFBibTeX XMLCite \textit{G. Cota} et al., Lect. Notes Comput. Sci. 9575, 30--45 (2016; Zbl 1347.68320) Full Text: DOI Link
Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian PAGOdA: pay-as-you-go ontology query answering using a datalog reasoner. (English) Zbl 1343.68073 J. Artif. Intell. Res. (JAIR) 54, 309-367 (2015). MSC: 68P15 68T30 PDFBibTeX XMLCite \textit{Y. Zhou} et al., J. Artif. Intell. Res. (JAIR) 54, 309--367 (2015; Zbl 1343.68073) Full Text: DOI
Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. (English) Zbl 1471.68173 Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 324-342 (2015). MSC: 68R07 68T27 68T30 92C50 PDFBibTeX XMLCite \textit{M. F. Arif} et al., Lect. Notes Comput. Sci. 9340, 324--342 (2015; Zbl 1471.68173) Full Text: DOI arXiv
Simančík, František; Motik, Boris; Horrocks, Ian Consequence-based and fixed-parameter tractable reasoning in description logics. (English) Zbl 1334.68211 Artif. Intell. 209, 29-77 (2014). MSC: 68T27 68Q25 68T30 PDFBibTeX XMLCite \textit{F. Simančík} et al., Artif. Intell. 209, 29--77 (2014; Zbl 1334.68211) Full Text: DOI
Zhang, Xiaowang; Xiao, Guohui; Lin, Zuoquan; Van den Bussche, Jan Inconsistency-tolerant reasoning with OWL DL. (English) Zbl 1316.68155 Int. J. Approx. Reasoning 55, No. 2, 557-584 (2014). MSC: 68T27 03B53 68T30 PDFBibTeX XMLCite \textit{X. Zhang} et al., Int. J. Approx. Reasoning 55, No. 2, 557--584 (2014; Zbl 1316.68155) Full Text: DOI
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten Reasoning with nominal schemas through absorption. (English) Zbl 1315.68225 J. Autom. Reasoning 53, No. 4, 351-405 (2014). MSC: 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{A. Steigmiller} et al., J. Autom. Reasoning 53, No. 4, 351--405 (2014; Zbl 1315.68225) Full Text: DOI
Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies. (English) Zbl 1331.68216 J. Autom. Reasoning 53, No. 1, 1-61 (2014). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{Y. Kazakov} et al., J. Autom. Reasoning 53, No. 1, 1--61 (2014; Zbl 1331.68216) Full Text: DOI
Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe HermiT: an OWL 2 reasoner. (English) Zbl 1314.68280 J. Autom. Reasoning 53, No. 3, 245-269 (2014). MSC: 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{B. Glimm} et al., J. Autom. Reasoning 53, No. 3, 245--269 (2014; Zbl 1314.68280) Full Text: DOI Link
Nikitina, Nadeschda; Rudolph, Sebastian (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\). (English) Zbl 1308.68110 Artif. Intell. 215, 120-140 (2014). MSC: 68T27 68T15 68T30 PDFBibTeX XMLCite \textit{N. Nikitina} and \textit{S. Rudolph}, Artif. Intell. 215, 120--140 (2014; Zbl 1308.68110) Full Text: DOI
Lin, Xi; Zhang, Hehua; Gu, Ming OntCheck: an ontology-driven static correctness checking tool for component-based models. (English) Zbl 1267.68228 J. Appl. Math. 2013, Article ID 934349, 11 p. (2013). MSC: 68T30 PDFBibTeX XMLCite \textit{X. Lin} et al., J. Appl. Math. 2013, Article ID 934349, 11 p. (2013; Zbl 1267.68228) Full Text: DOI
Lange, Christoph Enabling collaboration on semiformal mathematical knowledge by semantic web integration. (English) Zbl 1275.68005 Studies on the Semantic Web 11. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (ISBN 978-1-60750-840-3; 978-3-89838-657-9/pbk). xviii, 592 p. (2011). MSC: 68-02 68T30 68T35 PDFBibTeX XMLCite \textit{C. Lange}, Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft AKA (2011; Zbl 1275.68005) Full Text: Link
Klinov, Pavel; Parsia, Bijan A hybrid method for probabilistic satisfiability. (English) Zbl 1341.68191 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 354-368 (2011). MSC: 68T15 03B48 68T20 68T27 68T30 PDFBibTeX XMLCite \textit{P. Klinov} and \textit{B. Parsia}, Lect. Notes Comput. Sci. 6803, 354--368 (2011; Zbl 1341.68191) Full Text: DOI
Haarslev, Volker; Sebastiani, Roberto; Vescovi, Michele Automated reasoning in \(\mathcal{ALCQ}\) via SMT. (English) Zbl 1341.68226 Bjørner, Nikolaj (ed.) et al., Automated deduction – CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 – August 5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22437-9/pbk; 978-3-642-22438-6/ebook). Lecture Notes in Computer Science 6803. Lecture Notes in Artificial Intelligence, 283-298 (2011). MSC: 68T30 68T15 68T27 PDFBibTeX XMLCite \textit{V. Haarslev} et al., Lect. Notes Comput. Sci. 6803, 283--298 (2011; Zbl 1341.68226) Full Text: DOI
Groppe, Sven Data Management and query processing in semantic web databases. (English) Zbl 1216.68010 Berlin: Springer (ISBN 978-3-642-19356-9/hbk; 978-3-642-19357-6/ebook). ix, 270 p. (2011). MSC: 68-02 68P15 68P20 68T30 PDFBibTeX XMLCite \textit{S. Groppe}, Data Management and query processing in semantic web databases. Berlin: Springer (2011; Zbl 1216.68010) Full Text: DOI
Fornara, Nicoletta; Colombetti, Marco Representation and monitoring of commitments and norms using OWL. (English) Zbl 1216.68283 AI Commun. 23, No. 4, 341-356 (2010). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{N. Fornara} and \textit{M. Colombetti}, AI Commun. 23, No. 4, 341--356 (2010; Zbl 1216.68283) Full Text: DOI
Muñoz, Andres; Botía, Juan A.; Augusto, Juan Carlos Intelligent decision-making for a smart home environment with multiple occupants. (English) Zbl 1216.68288 Ruan, Da (ed.), Computational intelligence in complex decision systems. Amsterdam: Atlantis Press; Hackensack, NJ: World Scientific (ISBN 978-90-78677-27-7/hbk). Atlantis Computational Intelligence Systems 2, 325-371 (2010). MSC: 68T35 68T30 PDFBibTeX XMLCite \textit{A. Muñoz} et al., Atlantis Comput. Intell. Syst. 2, 325--371 (2010; Zbl 1216.68288)
Rudolph, Sebastian; Glimm, Birte Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend! (English) Zbl 1205.68408 J. Artif. Intell. Res. (JAIR) 39, 429-481 (2010). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{S. Rudolph} and \textit{B. Glimm}, J. Artif. Intell. Res. (JAIR) 39, 429--481 (2010; Zbl 1205.68408) Full Text: DOI arXiv
Baader, Franz; Peñaloza, Rafael Automata-based axiom pinpointing. (English) Zbl 1213.68589 J. Autom. Reasoning 45, No. 2, 91-129 (2010). MSC: 68T27 68Q45 68T30 PDFBibTeX XMLCite \textit{F. Baader} and \textit{R. Peñaloza}, J. Autom. Reasoning 45, No. 2, 91--129 (2010; Zbl 1213.68589) Full Text: DOI
Glimm, Birte; Horrocks, Ian; Motik, Boris Optimized description logic reasoning via core blocking. (English) Zbl 1291.68344 Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 457-471 (2010). MSC: 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{B. Glimm} et al., Lect. Notes Comput. Sci. 6173, 457--471 (2010; Zbl 1291.68344) Full Text: DOI
Jiang, Yuncheng; Tang, Yong; Chen, Qimai; Wang, Ju; Tang, Suqin Extending soft sets with description logics. (English) Zbl 1189.68140 Comput. Math. Appl. 59, No. 6, 2087-2096 (2010). MSC: 68T37 03E72 68T30 PDFBibTeX XMLCite \textit{Y. Jiang} et al., Comput. Math. Appl. 59, No. 6, 2087--2096 (2010; Zbl 1189.68140) Full Text: DOI
Farsiniamarj, Nasim; Haarslev, Volker Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\). (English) Zbl 1205.68404 AI Commun. 23, No. 2-3, 205-240 (2010). MSC: 68T30 90C05 90C10 PDFBibTeX XMLCite \textit{N. Farsiniamarj} and \textit{V. Haarslev}, AI Commun. 23, No. 2--3, 205--240 (2010; Zbl 1205.68404) Full Text: DOI
Cuenca Grau, Bernardo; Halaschek-Wiener, Christian; Kazakov, Yevgeny; Suntisrivaraporn, Boontawee Incremental classification of description logics ontologies. (English) Zbl 1209.68526 J. Autom. Reasoning 44, No. 4, 337-369 (2010). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{B. Cuenca Grau} et al., J. Autom. Reasoning 44, No. 4, 337--369 (2010; Zbl 1209.68526) Full Text: DOI
Fornara, Nicoletta; Colombetti, Marco Ontology and time evolution of obligations and prohibitions using semantic web technology. (English) Zbl 1274.68579 Baldoni, Matteo (ed.) et al., Declarative agent languages and technologies VII. 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-11354-3/pbk). Lecture Notes in Computer Science 5948. Lecture Notes in Artificial Intelligence, 101-118 (2010). MSC: 68T42 68T27 68T30 PDFBibTeX XMLCite \textit{N. Fornara} and \textit{M. Colombetti}, Lect. Notes Comput. Sci. 5948, 101--118 (2010; Zbl 1274.68579) Full Text: DOI
Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael Putting ABox updates into action. (English) Zbl 1193.68233 Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 214-229 (2009). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{C. Drescher} et al., Lect. Notes Comput. Sci. 5749, 214--229 (2009; Zbl 1193.68233) Full Text: DOI
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo Ontologies and databases: the DL-lite approach. (English) Zbl 1254.68106 Tessaris, Sergio (ed.) et al., Reasoning web. Semantic technologies for information systems. 5th international summer school 2009, Brixen-Bressanone, Italy, August 30–September 4, 2009. Tutorial lectures. Berlin: Springer (ISBN 978-3-642-03753-5/pbk). Lecture Notes in Computer Science 5689, 255-356 (2009). MSC: 68P15 68T27 68T30 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Lect. Notes Comput. Sci. 5689, 255--356 (2009; Zbl 1254.68106) Full Text: DOI
Baader, Franz Description logics. (English) Zbl 1254.68245 Tessaris, Sergio (ed.) et al., Reasoning web. Semantic technologies for information systems. 5th international summer school 2009, Brixen-Bressanone, Italy, August 30–September 4, 2009. Tutorial lectures. Berlin: Springer (ISBN 978-3-642-03753-5/pbk). Lecture Notes in Computer Science 5689, 1-39 (2009). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{F. Baader}, Lect. Notes Comput. Sci. 5689, 1--39 (2009; Zbl 1254.68245) Full Text: DOI
Ricca, Francesco; Gallucci, Lorenzo; Schindlauer, Roman; Dell’Armi, Tina; Grasso, Giovanni; Leone, Nicola OntoDLV: an ASP-based system for enterprise ontologies. (English) Zbl 1192.68132 J. Log. Comput. 19, No. 4, 643-670 (2009). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{F. Ricca} et al., J. Log. Comput. 19, No. 4, 643--670 (2009; Zbl 1192.68132) Full Text: DOI Link
Serafini, Luciano; Tamilin, Andrei Composing modular ontologies with distributed description logics. (English) Zbl 1242.68318 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 321-347 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{L. Serafini} and \textit{A. Tamilin}, Lect. Notes Comput. Sci. 5445, 321--347 (2009; Zbl 1242.68318) Full Text: DOI
Jiang, Yuncheng; Wang, Ju; Tang, Suqin; Xiao, Bao Reasoning with rough description logics: An approximate concepts approach. (English) Zbl 1170.68037 Inf. Sci. 179, No. 5, 600-612 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{Y. Jiang} et al., Inf. Sci. 179, No. 5, 600--612 (2009; Zbl 1170.68037) Full Text: DOI Link
Glimm, Birte; Kazakov, Yevgeny Role conjunctions in expressive description logics. (English) Zbl 1182.68277 Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 391-405 (2008). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{B. Glimm} and \textit{Y. Kazakov}, Lect. Notes Comput. Sci. 5330, 391--405 (2008; Zbl 1182.68277) Full Text: DOI
Horrocks, Ian; Glimm, Birte; Sattler, Ulrike Hybrid logics and ontology languages. (English) Zbl 1278.68287 Blackburn, Patrick (ed.) et al., Proceedings of the international workshop on hybrid logic (HyLo 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 6, 3-14 (2007). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{I. Horrocks} et al., Electron. Notes Theor. Comput. Sci. 174, No. 6, 3--14 (2007; Zbl 1278.68287) Full Text: DOI
Motik, Boris; Shearer, Rob; Horrocks, Ian Optimized reasoning in description logics using hypertableaux. (English) Zbl 1213.68593 Pfenning, Frank (ed.), Automated deduction – CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73594-6/pbk). Lecture Notes in Computer Science 4603. Lecture Notes in Artificial Intelligence, 67-83 (2007). MSC: 68T27 68T15 68T30 PDFBibTeX XMLCite \textit{B. Motik} et al., Lect. Notes Comput. Sci. 4603, 67--83 (2007; Zbl 1213.68593) Full Text: DOI
Sattler, Ulrike Reasoning in description logics: Basics, extensions, and relatives. (English) Zbl 1170.68649 Antoniou, Grigoris (ed.) et al., Reasoning web. Third international summer school 2007, Dresden, Germany, September 3–7, 2007. Tutorial lectures. Berlin: Springer (ISBN 978-3-540-74613-3/pbk). Lecture Notes in Computer Science 4636, 154-182 (2007). MSC: 68U35 68T15 68T27 68T30 PDFBibTeX XMLCite \textit{U. Sattler}, Lect. Notes Comput. Sci. 4636, 154--182 (2007; Zbl 1170.68649) Full Text: DOI
Hustadt, Ullrich; Motik, Boris; Sattler, Ulrike Reasoning in description logics by a reduction to disjunctive datalog. (English) Zbl 1132.68735 J. Autom. Reasoning 39, No. 3, 351-384 (2007). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{U. Hustadt} et al., J. Autom. Reasoning 39, No. 3, 351--384 (2007; Zbl 1132.68735) Full Text: DOI
Horrocks, Ian; Sattler, Ulrike A tableau decision procedure for \(\mathcal{SHOIQ}\). (English) Zbl 1132.68734 J. Autom. Reasoning 39, No. 3, 249-276 (2007). MSC: 68T27 68T30 68T15 PDFBibTeX XMLCite \textit{I. Horrocks} and \textit{U. Sattler}, J. Autom. Reasoning 39, No. 3, 249--276 (2007; Zbl 1132.68734) Full Text: DOI
Tsarkov, Dmitry; Horrocks, Ian; Patel-Schneider, Peter F. Optimizing terminological reasoning for expressive description logics. (English) Zbl 1132.68742 J. Autom. Reasoning 39, No. 3, 277-316 (2007). MSC: 68T27 68T30 68T15 PDFBibTeX XMLCite \textit{D. Tsarkov} et al., J. Autom. Reasoning 39, No. 3, 277--316 (2007; Zbl 1132.68742) Full Text: DOI
Motik, Boris On the properties of metamodeling in OWL. (English) Zbl 1130.68095 J. Log. Comput. 17, No. 4, 617-637 (2007). MSC: 68T30 68T27 68M10 PDFBibTeX XMLCite \textit{B. Motik}, J. Log. Comput. 17, No. 4, 617--637 (2007; Zbl 1130.68095) Full Text: DOI
Motik, Boris; Sattler, Ulrike A comparison of reasoning techniques for querying large description logic aboxes. (English) Zbl 1165.68506 Hermann, Miki (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13–17, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48281-9/pbk). Lecture Notes in Computer Science 4246. Lecture Notes in Artificial Intelligence, 227-241 (2006). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{B. Motik} and \textit{U. Sattler}, Lect. Notes Comput. Sci. 4246, 227--241 (2006; Zbl 1165.68506) Full Text: DOI
Peinado, Federico; Gervás, Pablo Evaluation of automatic generation of basic stories. (English) Zbl 1112.68436 New Generation Comput. 24, No. 3, 289-302 (2006). MSC: 68T01 68T27 68T30 68T50 PDFBibTeX XMLCite \textit{F. Peinado} and \textit{P. Gervás}, New Generation Comput. 24, No. 3, 289--302 (2006; Zbl 1112.68436) Full Text: DOI