Search Sciweavers | Sciweavers

3793 search results - page 107 / 759

» Expressive Description Logics

click to vote

DLOG
2008

92views Automated Reasoning» more DLOG 2008»

LTL over Description Logic Axioms

15 years 8 months ago

Download www.informatik.uni-bremen.de

Franz Baader, Silvio Ghilardi, Carsten Lutz

claim paper

Read More »

151

click to vote

DLOG
2008

102views Automated Reasoning» more DLOG 2008»

A UML-Based Method for Deciding Finite Satisfiability in Description Logics

15 years 8 months ago

Download www.cs.bgu.ac.il

Mira Balaban, Azzam Maraee

claim paper

Read More »

163

click to vote

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

15 years 7 months ago

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »

119

click to vote

IJCAI
2007

155views Artificial Intelligence» more IJCAI 2007»

EQL-Lite: Effective First-Order Query Processing in Description Logics

15 years 7 months ago

Download www.ijcai.org

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

112

click to vote

MODELLIERUNG
2008

81views Software Engineering» more MODELLIERUNG 2008»

Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers