liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
EXPTIME Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
University of Warsaw.
2009 (English)In: Proceedings of the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems (ICCCI) / [ed] Ngoc Thanh; Kowalczyk, Ryszard; Chen, Shyi-Ming, Springer , 2009, p. 437-448Conference paper, Published paper (Refereed)
Abstract [en]

We give the first ExpTime (optimal) tableau decision procedure for checking satisfiability of a knowledge base in the description logic ALC, not based on transformation that encodes ABoxes by nominals or terminology axioms. Our procedure can be implemented as an extension of the highly optimized tableau prover TGC [12] to obtain an efficient program for the mentioned satisfiability problem.

Place, publisher, year, edition, pages
Springer , 2009. p. 437-448
Series
Lecture Notes in Artificial Intelligence, ISSN 0302-9743 ; 5796
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-21989DOI: 10.1007/978-3-642-04441-0_38ISBN: 978-3-642-04440-3 (print)ISBN: 978-3-642-04441-0 (print)OAI: oai:DiVA.org:liu-21989DiVA, id: diva2:242257
Conference
1st International Conference on Computational Collective Intelligence, ICCCI 2009; Wroclaw; Poland
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2014-09-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Szalas, Andrzej

Search in DiVA

By author/editor
Szalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 171 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf