Sciweavers

265 search results - page 6 / 53
» Description Logic Framework for Information Integration
Sort
View
168
Voted
JAPLL
2010
179views more  JAPLL 2010»
15 years 2 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
SEMWEB
2007
Springer
15 years 10 months ago
Extending Fuzzy Description Logics with a Possibilistic Layer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
Fernando Bobillo, Miguel Delgado, Juan Góme...
COOPIS
2002
IEEE
15 years 9 months ago
A Defeasible Ontology Language
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
Stijn Heymans, Dirk Vermeir
111
Voted
FLAIRS
1998
15 years 5 months ago
Function Modeling for an Integrated Framework: A Progress Report
This paper discusses some preliminary results of the author's on-going research into the representation of product function information for integrated knowledge-based environ...
Filippo A. Salustri
DLOG
2009
15 years 1 months ago
Testing Provers on a Grid - Framework Description
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
Carlos Areces, Daniel Gorín, Alejandra Lore...