tillmo > imported | BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)91
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties
F. Dylla, J. Lee, T. Mossakowski, T. Schneider, A. van Delden, J. van de Ven, and D. Wolter. ACM Computing Surveys (CSUR), (April 2017)earlier version available at http://arxiv.org/abs/1606.00133.
8 years ago by @tillmo
show all tags
imported
myown
importedmyown
copydeleteadd this publication to your clipboard
1Specification refinements: calculi, tools, and applications
M. Codescu, T. Mossakowski, D. Sannella, and A. Tarlecki. Science of Computer Programming, (2017)
8 years ago by @tillmo
show all tags
imported
myown
casl
logic
institution
importedmyowncasllogicinstitution
copydeleteadd this publication to your clipboard
2Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes
M. Joseph, G. Kuper, T. Mossakowski, and L. Serafini. Semantic Web, 7 (1): 25--61 (2016)
8 years ago by @tillmo
show all tags
imported
imported
copydeleteadd this publication to your clipboard
4Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub
E. Kuksa, and T. Mossakowski. Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., volume 1635 of CEUR Workshop Proceedings, page 56--68. CEUR-WS.org, (2016)
8 years ago by @tillmo
show all tags
imported
imported
copydeleteadd this publication to your clipboard
8Ontology Patterns with DOWL: The Case of Blending
O. Kutz, F. Neuhaus, M. Hedblom, T. Mossakowski, and M. Codescu. Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., (2016)
8 years ago by @tillmo
show all tags
imported
imported
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)91
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

2A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties

1Specification refinements: calculi, tools, and applications

2Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes

4Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub

8Ontology Patterns with DOWL: The Case of Blending

browse

related tags

concepts

tags

BibSonomy

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)91 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

2A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties

1Specification refinements: calculi, tools, and applications

2Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes

4Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub

8Ontology Patterns with DOWL: The Case of Blending

browse

related tags

concepts

tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)91
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...