Sciweavers

687 search results - page 113 / 138
» OWL: A Description Logic Based Ontology Language
Sort
View
DLOG
2001
14 years 11 months ago
Using Lazy Unfolding for the Computation of Least Common Subsumers
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
Anni-Yasmin Turhan, Ralf Molitor
MODELS
2007
Springer
15 years 3 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
IEAAIE
1998
Springer
15 years 1 months ago
Managing the Usage Experience in a Library of Software Components
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
Pedro A. González-Calero, Mercedes Gó...
GEOS
2009
Springer
14 years 7 months ago
Narrative Geospatial Knowledge in Ethnographies: Representation and Reasoning
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...
Chin-Lung Chang, Yi-Hong Chang, Tyng-Ruey Chuang, ...
ICLP
2009
Springer
15 years 4 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift