BibSonomy publications for /author/Wolter http://www.bibsonomy.org/author/Wolter BibSonomy RSS Feed for /author/Wolter All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable. dblp http://www.bibsonomy.org/bibtex/28efa9ef68f5cbbb6cb40b847e91701d1/dblp dblp 2008-07-15T00:00:00+02:00 dblp
All finitely axiomatizable subframe logics containing the provability logic CSM 0_0 are decidable.
Frank Wolter Arch. Math. Log. 37 167-182 (1998)
to dblp by dblp on 2008-07-15 00:00:00
]]> Temporalising Tractable Description Logics Temporalising Tractable Description Logics http://www.bibsonomy.org/bibtex/2ce2458eaa642389c7772fc23d789ec06/utahell utahell 2008-07-14T16:33:34+02:00 imported
Temporalising Tractable Description Logics
A. Artale and R. Kontchakov and C. Lutz and F. Wolter and M. Zakharyaschev Proceedings of the Fourteenth International Symposium on Temporal Representation and Reasoning (2007)
to imported by utahell and 1 other person on 2008-07-14 16:33:34
]]> Checking DL-Lite Modularity with QBF Solvers. dblp http://www.bibsonomy.org/bibtex/210b164c487361828a36c06c06702170c/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Checking DL-Lite Modularity with QBF Solvers.
Roman Kontchakov and V. Ryzhikov and Frank Wolter and Michael Zakharyaschev Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00
]]> Logical Difference and Module Extraction with CEX and MEX. dblp http://www.bibsonomy.org/bibtex/2c90287047dde53a06cfe80a9ccee5441/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Logical Difference and Module Extraction with CEX and MEX.
Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00
]]> Increasing Performance of the 802.11e Protocol through Access Category Shifting. dblp http://www.bibsonomy.org/bibtex/2fafb2d99c18633ae22d6d83ca71ceaba/dblp dblp 2008-06-25T00:00:00+02:00 dblp
Increasing Performance of the 802.11e Protocol through Access Category Shifting.
Johannes Zapotoczky and Katinka Wolter MMB 61-76 (2008)
to dblp by dblp on 2008-06-25 00:00:00
]]> Task-based entailment constraints for basic workflow patterns. dblp http://www.bibsonomy.org/bibtex/2d835b9e8ea4b38b614ae0591caa77fd4/dblp dblp 2008-06-16T00:00:00+02:00 dblp
Task-based entailment constraints for basic workflow patterns.
Christian Wolter and Andreas Schaad and Christoph Meinel SACMAT 51-60 (2008)
to dblp by dblp and 1 other person on 2008-06-16 00:00:00
]]> Importing from Functional Knowledge Bases - A Preview. dblp http://www.bibsonomy.org/bibtex/263127efe496fe25dddd60494197acd84/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Importing from Functional Knowledge Bases - A Preview.
Alexander Borgida and Fausto Giunchiglia WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00
]]> Knowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL. dblp http://www.bibsonomy.org/bibtex/292200fa05960c556efb5f6ccc30d1690/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Knowledge Representation for the Distributed, Social SemanticWeb - Named Graphs, Graph Roles and Views in NRL.
Michael Sintek and Ludger van Elst and Gunnar Aastrand Grimnes and Simon Scerri and Siegfried Handschuh WoMO (2007)
to dblp by dblp and 2 other people on 2008-06-09 00:00:00
]]> Three-Layer OWL Ontology Design. dblp http://www.bibsonomy.org/bibtex/268c1f7fb3e1f11c8e8b9a099820a4543/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Three-Layer OWL Ontology Design.
Michel Dumontier and Natalia Villanueva-Rosales WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00
]]> Computing OWL Ontology Decompositions Using Resolution. dblp http://www.bibsonomy.org/bibtex/2049f1744686112d23661f10785b592fe/dblp dblp 2008-06-09T00:00:00+02:00 dblp
Computing OWL Ontology Decompositions Using Resolution.
Robert Schiaffino and Achille Fokoue and Aditya Kalyanpur and Aaron Kershenbaum and Li Ma and Chintan Patel and Edith Schonberg and Kavitha Srinivas WoMO (2007)
to dblp by dblp on 2008-06-09 00:00:00
]]>