1532 search results - page 137 / 307 » A Comparison of RESTART Implementations |
161
click to vote
FROCOS
2007
Springer
16 years 8 days 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...
167
click to vote
SEKE
2007
Springer
16 years 6 days 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 ...
141
click to vote
SEMWEB
2007
Springer
16 years 6 days 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...
138
Voted
SEMWEB
2007
Springer
16 years 6 days 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...
153
Voted
WEA
2007
Springer
16 years 6 days 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...