The Description Logic Handbook: Theory, Implementation, and Applications

@inproceedings{Baader2003TheDL,
  title={The Description Logic Handbook: Theory, Implementation, and Applications},
  author={Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider},
  booktitle={Description Logic Handbook},
  year={2003}
}
Like modal logic, temporal logic, or description logic, separation logic has become a Description Logic Handbook: Theory, Implementation and Applications,”. The Description Logic Handbook: Theory, Implementation and Applications (Franz Baader, Diego Calvanese, Deborah. McGuinness, Daniele Nardi, Peter. To formalize knowledge, we employ various logic-based formalisms, such as The Description Logic Handbook: Theory, Implementation and Applications. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 3,431 CITATIONS, ESTIMATED 24% COVERAGE

Adding the Power-Set to Description Logics

VIEW 24 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Minimal definition signatures: computation and application to ontology alignment

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Scalable integration of uncertainty reasoning and semantic web technologies

VIEW 21 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS
HIGHLY INFLUENCED

An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency

  • Automated Software Engineering
  • 2017
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Novel Group Decision Making Method to Overcome the Web 2.0 Challenges

  • 2015 IEEE International Conference on Systems, Man, and Cybernetics
  • 2015
VIEW 14 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Reasoning about Belief Uncertainty in DL Lite N bool

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A semantic selection approach for composite Web services using OWL-DL and rules

  • Service Oriented Computing and Applications
  • 2013
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2001
2019

CITATION STATISTICS

  • 545 Highly Influenced Citations

  • Averaged 171 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

A1.2 Syntax and semantics of common Description Logics 496 A1.3 Additional constructors 501

  • A1.2 Syntax and semantics of common Description Logics 496 A1.3 Additional constructors 501

A1.4 A note on the naming scheme for Description Logics 504

  • A1.4 A note on the naming scheme for Description Logics 504

Description Logic Terminology F

  • Description Logic Terminology F

Similar Papers

Loading similar papers…