Sciweavers

1436 search results - page 172 / 288
» Description Logic Unplugged
Sort
View
DLOG
2003
15 years 7 months ago
Computing Least Common Subsumers for FLE+
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...
Sebastian Brandt, Anni-Yasmin Turhan
DLOG
2003
15 years 7 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller
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
DLOG
2000
15 years 7 months ago
Driving User Interfaces from FaCT
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
Sean Bechhofer, Ian Horrocks
ACL
1989
15 years 7 months ago
A Hybrid Approach to Representation in the Janus Natural Language Processor
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
Ralph M. Weischedel