Sciweavers

9810 search results - page 228 / 1962
» Problems, Descriptions and Objects
Sort
View
ICWE
2003
Springer
15 years 11 months ago
Engineering a Future for Web-Based Learning Objects
This paper takes a critical look at current development efforts with learning objects for Web-based e-learning. It points out the limitations of these efforts and argues that they ...
Permanand Mohan, Christopher A. Brooks
ACL
2000
15 years 7 months ago
A Polynomial-Time Fragment of Dominance Constraints
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
ADC
2006
Springer
142views Database» more  ADC 2006»
15 years 11 months ago
An optimization for query answering on ALC database
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
Pakornpong Pothipruk, Guido Governatori
LPAR
2010
Springer
15 years 3 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska
MST
2011
207views Hardware» more  MST 2011»
15 years 21 days ago
Fixpoint Logics over Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey