Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4617
search results - page 86 / 924
»
Automation of Diagrammatic Reasoning
Sort
relevance
views
votes
recent
update
View
thumb
title
105
click to vote
DLOG
2009
97
views
Automated Reasoning
»
more
DLOG 2009
»
On Higher-Order Description Logics
15 years 3 months ago
Download
web.comlab.ox.ac.uk
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
claim paper
Read More »
101
click to vote
DLOG
2009
102
views
Automated Reasoning
»
more
DLOG 2009
»
Filling the Gap between OWL 2 QL and QuOnto: ROWLKit
15 years 3 months ago
Download
dl.kr.org
Claudio Corona, Marco Ruzzi, Domenico Fabio Savo
claim paper
Read More »
111
click to vote
DLOG
2009
84
views
Automated Reasoning
»
more
DLOG 2009
»
Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)
15 years 3 months ago
Download
dl.kr.org
Inanç Seylan, Enrico Franconi, Jos de Bruij...
claim paper
Read More »
117
click to vote
DLOG
2009
94
views
Automated Reasoning
»
more
DLOG 2009
»
An Extension of Regularity Conditions for Complex Role Inclusion Axioms
15 years 3 months ago
Download
web.comlab.ox.ac.uk
Yevgeny Kazakov
claim paper
Read More »
121
click to vote
DLOG
2009
97
views
Automated Reasoning
»
more
DLOG 2009
»
A Semantic Algebra for Modularized Description Logics Knowledge Bases
15 years 3 months ago
Download
dl.kr.org
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
claim paper
Read More »
« Prev
« First
page 86 / 924
Last »
Next »
