665 search results - page 34 / 133 » A proposal for an owl rules language |
157
click to vote
RR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
159
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
162
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
150
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology...
188
click to vote
APSEC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...