Sciweavers

1184 search results - page 120 / 237
» Description Logics for the Semantic Web
Sort
View
WECWIS
1999
IEEE
107views ECommerce» more  WECWIS 1999»
15 years 10 months ago
Semantic Metadata for the Integration of Web-Based Data for Electronic Commerce
Today, the Internet can be seen as a global marketplace populated by a huge number of providers and consumers that exchange data from a wide range of domains. A combination of dat...
Christof Bornhövd
EPIA
2007
Springer
16 years 18 days ago
Towards Tractable Local Closed World Reasoning for the Semantic Web
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
Matthias Knorr, José Júlio Alferes, ...
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Model Driven Specification of Ontology Translations
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
Fernando Silva Parreiras, Steffen Staab, Simon Sch...
ICLP
2007
Springer
16 years 17 days 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...
DEXAW
2002
IEEE
99views Database» more  DEXAW 2002»
15 years 11 months ago
Using Preference Order in Ontologies
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
Stijn Heymans, Dirk Vermeir