Sciweavers

1278 search results - page 139 / 256
» Ontology Engineering for Product Development
Sort
View
AAAI
2006
15 years 7 months ago
Large Scale Knowledge Base Systems: An Empirical Evaluation Perspective
In this paper, we discuss how our work on evaluating Semantic Web knowledge base systems (KBSs) contributes to address some broader AI problems. First, we show how our approach pr...
Yuanbo Guo, Abir Qasem, Jeff Heflin
PETRA
2009
ACM
15 years 11 months ago
Ubi-designer: a web-based toolkit for configuring and field-testing UbiComp prototypes
Technology is now available for creating affordable sensor networks and infrastructures for ubiquitous computing environments. In the area of ambient assisted living, contextaware...
Martijn H. Vastenburg, Halldór Fjalldal, Ch...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 6 months ago
An Ontology-based Knowledge Management System for Industry Clusters
Knowledge-based economy forces companies in every country to group together as a cluster in order to maintain their competitiveness in the world market. The cluster development re...
Pradorn Sureephong, Nopasit Chakpitak, Yacine Ouzr...
FOIKS
2006
Springer
15 years 10 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
CADE
2006
Springer
16 years 6 months ago
Description Logic Reasoner: System Description
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
Dmitry Tsarkov, Ian Horrocks