×

Found 49 Documents (Results 1–49)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: Link

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
Full Text: DOI

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
Full Text: DOI

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

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software