On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
Platform independent model transformation based on triple
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach
IEEE Intelligent Systems
Ontology-based artefact management in automotive electronics
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
| Hi-index | 0.00 |
In recent years, many researchers in the area of reasoning have focussed on the adoption of rule languages for the Semantic Web that led to remarkable approaches offering various functionality. On one hand, this included language elements of the rule part itself like contexts, higher-orderness, and non-monotonic negation. On the other hand, the proper integration with ontology languages like RDF and OWL had to consider language-specific properties like disjunctivity as well as the demand for using existing external components. The paper proposes a Triple -oriented hybrid language that integrates the mentioned language elements of both aspects following the expressiveness of locally stratified datalog. It introduces fixpoint semantics as well as pragmatic extensions for defining transformations between fact bases. A partial implementation is based on stratified, semi-naive evaluation, and static filtering.