Sciweavers

972 search results - page 17 / 195
» Using Preference Order in Ontologies
Sort
View
AGP
2003
IEEE
14 years 1 months ago
Ordered Programs as Abductive Systems
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
Davy Van Nieuwenborgh, Dirk Vermeir
SEMWEB
2009
Springer
14 years 2 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
KCAP
2003
ACM
14 years 29 days ago
Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for ‘normalisation’ to achieve analogous aims are s...
Alan L. Rector
DLOG
2004
13 years 9 months ago
OntoXpl: Exploration of OWL Ontologies
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
Volker Haarslev, Ying Lu 0003, Nematollaah Shiri
ICPR
2010
IEEE
14 years 1 days ago
Gaussian Process Learning from Order Relationships Using Expectation Propagation
A method for Gaussian process learning of a scalar function from a set of pair-wise order relationships is presented. Expectation propagation is used to obtain an approximation to...
Ruixuan Wang, Stephen James Mckenna