Sciweavers

DLOG
2001
14 years 28 days ago
TBoxes do not Yield a Compact Representation of Least Common Subsumers
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descripti...
Franz Baader, Anni-Yasmin Turhan
DLOG
2001
14 years 28 days ago
Ontology of Integration and Integration of Ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
DLOG
2006
14 years 28 days ago
Description Logic Reasoning for Dynamic ABoxes
Christian Halaschek-Wiener, Bijan Parsia, Evren Si...
DLOG
2006
14 years 28 days ago
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
DLOG
2006
14 years 28 days ago
Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
Vladimir Kolovski, Bijan Parsia, Evren Sirin
DLOG
2006
14 years 28 days ago
Handling Imprecise Knowledge with Fuzzy Description Logic
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
DLOG
2006
14 years 28 days ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
DLOG
2006
14 years 28 days ago
Model checking the basic modalities of CTL with Description Logic
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
DLOG
2006
14 years 28 days ago
Euclidian Roles in Description Logics
In the current paper we investigate the role of Euclidian roles in Description Logics.
Giorgos Stoilos, Giorgos B. Stamou