Sciweavers

2223 search results - page 30 / 445
» Ontological Framework for Approximation
Sort
View
DLOG
2009
15 years 2 months ago
Soundness Preserving Approximation for TBox Reasoning in R
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
WWW
2007
ACM
16 years 5 months ago
Just the right amount: extracting modules from ontologies
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...
AO
2006
127views more  AO 2006»
15 years 4 months ago
Formal ontology meets industry
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
Stefano Borgo, Matteo Cristani, Roberta Cuel
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 4 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser
ACL
2007
15 years 5 months ago
A Linguistic Service Ontology for Language Infrastructures
This paper introduces conceptual framework of an ontology for describing linguistic services on network-based language infrastructures. The ontology defines a taxonomy of processi...
Yoshihiko Hayashi