Sciweavers

503 search results - page 37 / 101
» Combining Description Logics, Description Graphs, and Rules
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
Martin Grohe
RAID
1999
Springer
13 years 12 months ago
Combining Knowledge Discovery and Knowledge Engineering to Build IDSs
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
Wenke Lee, Salvatore J. Stolfo
ER
2008
Springer
91views Database» more  ER 2008»
13 years 9 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...
DEXAW
2007
IEEE
160views Database» more  DEXAW 2007»
14 years 2 months ago
RDF and Logic: Reasoning and Extension
In this paper we explore embeddings of the various kinds of RDF entailment in F-Logic. We show that the embeddings of simple, RDF, and RDFS entailment, as well as a large fragment...
Jos de Bruijn, Stijn Heymans
KES
1999
Springer
13 years 12 months ago
Shape specification in design using fuzzy logic
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
B. Pham