1532 search results - page 137 / 307 » A Comparison of RESTART Implementations |
129
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
142
Voted
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
106
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
108
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
125
click to vote
WEA
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic tree data structures maintain forests that change over time through edge insertions and deletions. Besides maintaining connectivity information in logarithmic time, they ca...