Sciweavers

149 search results - page 16 / 30
» XPath for DL Ontologies
Sort
View
WS
2010
ACM
13 years 8 months ago
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
Georgios Meditskos, Nick Bassiliades
ENTCS
2007
109views more  ENTCS 2007»
13 years 9 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
SEMWEB
2007
Springer
14 years 3 months ago
Instance Migration in Heterogeneous Ontology Environments
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
Luciano Serafini, Andrei Tamilin
DLOG
2007
13 years 12 months ago
OntoVQL: A Graphical Query Language for OWL Ontologies
The database usability experience has shown that visual query languages tend to be superior to textual languages in many aspects. By applying this principle in the context of ontol...
Amineh Fadhil, Volker Haarslev
ESWS
2010
Springer
13 years 11 months ago
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
Jörg Pührer, Stijn Heymans, Thomas Eiter