Sciweavers

235 search results - page 17 / 47
» Logical Development of the Cell Ontology
Sort
View
142
Voted
EKAW
2008
Springer
15 years 3 months ago
GoodRelations: An Ontology for Describing Products and Services Offers on the Web
A promising application domain for Semantic Web technology is the annotation of products and services offerings on the Web so that consumers and enterprises can search for suitable...
Martin Hepp
135
Voted
FOIKS
2006
Springer
15 years 5 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
DLOG
2001
15 years 3 months ago
The Generation of DAML+OIL
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
Ian Horrocks, Peter F. Patel-Schneider
DLOG
2008
15 years 4 months ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
115
Voted
DLOG
2010
14 years 12 months ago
TBox Classification in Parallel: Design and First Evaluation
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev