Sciweavers

3719 search results - page 566 / 744
» order 2010
Sort
View
SEKE
2010
Springer
15 years 4 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
SEMWEB
2010
Springer
15 years 4 months ago
Using Reformulation Trees to Optimize Queries over Distributed Heterogeneous Sources
Abstract. In order to effectively and quickly answer queries in environments with distributed RDF/OWL, we present a query optimization algorithm to identify the potentially relevan...
Yingjie Li, Jeff Heflin
SEMWEB
2010
Springer
15 years 4 months ago
Forgetting Fragments from Evolving Ontologies
Abstract. Ontologies underpin the semantic web; they define the concepts and their relationships contained in a data source. An increasing number of ontologies are available on-lin...
Heather S. Packer, Nicholas Gibbins, Nicholas R. J...
SEMWEB
2010
Springer
15 years 4 months ago
Optimising Ontology Classification
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...
Birte Glimm, Ian Horrocks, Boris Motik, Giorgos St...
SEMWEB
2010
Springer
15 years 4 months ago
Enhancing the Open-Domain Classification of Named Entity Using Linked Open Data
Many applications make use of named entity classification. Machine learning is the preferred technique adopted for many named entity classification methods where the choice of feat...
Yuan Ni, Lei Zhang, Zhaoming Qiu, Chen Wang