daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on the oil, but also has strong in uences from the existing W3C eorts as well as input from DAML researchers. daml+oil pushes very close to the undecidability barrier. Developing eective reasoners for daml+oil will stress the capabilities of description logic researchers.
years or so, a broad consensus has evolved in the Semantic Web community that the vision of the Sema...
Product configuration is a major commercial application of knowledge-based systems, and joint config...
Semantic web is a concept that enables better machine processing of information on the web, by struc...
In the current "Syntactic Web", uninterpreted syntactic constructs are given meaning only by private...
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although t...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
Abstract. Ontologies are commonly used in computer science either as a reference model to support se...
Currently computers are changing from single isolated devices to entry points into a worldwide netwo...
AbstractDescription Logics (DLs) are a family of logic based knowledge representation formalisms. Al...
The Semantic Web is a future vision of the web where stored information has exact meaning, thus enab...
Abstract. The Web is likely to be a central platform for software de-velopment in the future. We inv...
A Tool for Reasoning with the Semantic Web We describe DAMLJessKB, a tool for reasoning with the DAR...
The current web suffers information overloading: it is increasingly difficult and time consuming to ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities ...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
years or so, a broad consensus has evolved in the Semantic Web community that the vision of the Sema...
Product configuration is a major commercial application of knowledge-based systems, and joint config...
Semantic web is a concept that enables better machine processing of information on the web, by struc...
In the current "Syntactic Web", uninterpreted syntactic constructs are given meaning only by private...
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although t...
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approa...
Abstract. Ontologies are commonly used in computer science either as a reference model to support se...
Currently computers are changing from single isolated devices to entry points into a worldwide netwo...
AbstractDescription Logics (DLs) are a family of logic based knowledge representation formalisms. Al...
The Semantic Web is a future vision of the web where stored information has exact meaning, thus enab...
Abstract. The Web is likely to be a central platform for software de-velopment in the future. We inv...
A Tool for Reasoning with the Semantic Web We describe DAMLJessKB, a tool for reasoning with the DAR...
The current web suffers information overloading: it is increasingly difficult and time consuming to ...
In this paper we present DAML-S, a DAML+OIL ontology for describing the properties and capabilities ...
Uniting ontologies and rules has become a central topic in the Semantic Web. Bridging the discrepanc...
years or so, a broad consensus has evolved in the Semantic Web community that the vision of the Sema...
Product configuration is a major commercial application of knowledge-based systems, and joint config...
Semantic web is a concept that enables better machine processing of information on the web, by struc...