Sciweavers

37 search results - page 5 / 8
» The OWL API: A Java API for OWL ontologies
Sort
View
ICLP
2007
Springer
15 years 3 months ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
AIED
2005
Springer
15 years 3 months ago
Making Learning Design Standards Work with an Ontology of Educational Theories
In this paper, we present an ontology of educational theories their relation to learning design. This ontology takes into account learning design (LD) specifications such as OUNL-E...
Valéry Psyché, Jacqueline Bourdeau, ...
COMPSAC
2008
IEEE
15 years 3 months ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
184
Voted
SIGMOD
2006
ACM
163views Database» more  SIGMOD 2006»
15 years 9 months ago
Generic similarity detection in ontologies with the SOQA-SimPack toolkit
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different data sources often do not rel...
Patrick Ziegler, Christoph Kiefer, Christoph Sturm...
EDBT
2006
ACM
217views Database» more  EDBT 2006»
15 years 9 months ago
Detecting Similarities in Ontologies with the SOQA-SimPack Toolkit
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different databases often do not relate ...
Patrick Ziegler, Christoph Kiefer, Christoph Sturm...