Sciweavers

2519 search results - page 166 / 504
» Reasoning with Textual Cases
Sort
View
OOPSLA
2009
Springer
16 years 1 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
SEMWEB
2009
Springer
16 years 1 months ago
A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
Michael Schneider, Kai Mainzer
DEXA
2010
Springer
180views Database» more  DEXA 2010»
15 years 7 months ago
Approximate Instance Retrieval on Ontologies
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
SIGMOD
2000
ACM
85views Database» more  SIGMOD 2000»
15 years 11 months ago
Finding Replicated Web Collections
Many web documents (such as JAVA FAQs) are being replicated on the Internet. Often entire document collections (such as hyperlinked Linux manuals) are being replicated many times....
Junghoo Cho, Narayanan Shivakumar, Hector Garcia-M...
IEEEMM
2006
64views more  IEEEMM 2006»
15 years 6 months ago
Hierarchical Layouts for Photo Libraries
A frequently-used layout for a collection of two-dimensional, fixed aspect-ratio objects, such as photo thumbnails, is the grid, in which rows and columns are configured to match ...
Jack Kustanowitz, Ben Shneiderman